User Portlet User Portlet

Discussions
I want to prove the expression by method of mathematical induction with Mathematica, but I do not know how to start. How do I tell Mathematica to do that? [code]S