| Te bewijzen : | 0² + 1² + 2² + ... + (n − 1)² > |
| m.a.w. | |
| Bewijs : | |
| Deel I |
Voor de kleinste zinvolle n-waarde, nl. 1 is LL = 0² = 0 (de eerste term) RL = − |
| Deel II | Gegeven : |
0² + 1² + 2² + ... + (k − 1)² > |
| Te bewijzen: |
0² + 1² + 2² + ... + (k − 1)² + k² > | |
| Bewijs : | Uit de inductiehypothese volgt direct, door k² bij te tellen in beide leden : | |
|
0² + 1² + 2² + ... + (k − 1)² + k² > | ||
|
0² + 1² + 2² + ... + (k − 1)² + k² > | ||
|
0² + 1² + 2² + ... + (k − 1)² + k² > | ||
|
Nog aan te tonen : ⇔ k³ > (k² + 2k + 1).(k − 3) ⇔ k³ > k³ − 3k² + 2k² − 6k + k − 3 ⇔ 0 > − k² − 5k − 3 evident voor elk natuurlijk getal k |