Induction base case problem
12910
For the Fibonacci numbers, show for all $n$: $F_1^2+F_2^2+\dots+F_n^2=F_nF_{n+1}$
91896
Induction (Geometric sequence)
72776
Induction proof (bitstring length)
96025
Showing there is only one isomorphism between well ordered sets using transfinite induction
27373
Graph Proof by induction.
134319
When induction proofs need a choice function
2197
Induction principle for $n!<n^n$
125028
Prove the following equality using mathematical induction:
128377
Mathematical Induction and "the product of odd numbers is odd"
136700
Proving divisibility of expression using induction
32950
Fake induction proofs
101641
Induction with floor, ceiling $n\le2^k\implies a_n\le3\cdot k2^k+4\cdot2^k-1$ for $a_n=a_{\lfloor\frac{n}2\rfloor}+a_{\lceil\frac{n}2\rceil}+3n+1$
145388
Structural Induction: Metalogic Proof
51877
Why is this 'Proof' by induction not valid?
50956
Double induction - another method?
153975
Proving mathematical induction with arbitrary base using (weak) induction
3285
In proof by induction, what does it mean when condition for inductive step is lesser than the propsition itself?