inductive step
Proving P(k)\implies P(k+1) for an arbitrary k.
The inductive step proves, for arbitrary k\ge n_0, that P(k) (the inductive hypothesis) implies P(k+1).
See also
Point table
Graph settings
Calculator