Maybe I am missing something. But, if the problem is to show by induction that the inequality is true for n an integer and n >1, then:
- Show it is true for n = 2.
- Show that if it is true for n-1, it is true for n.
- QED
This can be done quite simply, without Mathematica or Alpha.
Best, David