Vérifier une démonstration par récurrence

On veut démontrer par récurrence que, pour tout entier n >= 1, la somme des carrés 1^2 + 2^2 + ... + n^2 = n(n+1)(2n+1)/6. Rédige l'étape d'initialisation (rang n=1) et explique, sans forcément refaire tout le calcul de l'hérédité, quelle expression devrait apparaître à l'étape d'hérédité juste avant d'utiliser l'hypothèse de récurrence.