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