inductive hypothesis
The assumption P(k), trusted and reused inside the inductive step.
The inductive hypothesis is the assumption P(k) used as a genuine, trusted fact to derive P(k+1).
See also
Point table
Graph settings
Calculator