MetaMath '22

Dokažite da za svaki $n \in \mathbb{N}$ vrijedi $$ 1^2+2^2+\ldots+n^2=\frac{n(n+1)(2 n+1)}{6}. $$