Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

strong induction

An inductive step allowed to assume every earlier case, not just the immediately preceding one.

Strong induction assumes $P(n_0),\ldots,P(k)$ all at once (not just $P(k)$ ) to derive $P(k+1)$ .