Verifica col computer che per
n
intero positivo 1
²
+ 2
²
+ 3
²
+ +
n
²
=
n
·(
n
+1)·(2·
n
+1)/6.