Strong Induction

A variant of induction where, to prove P(n+1), one assumes P(k) holds for all k ≤ n (the full set of smaller cases) rather than only assuming P(n); thus the inductive hypothesis is stronger and can use cumulative information from all previous instances.