⁽⁴⁾A useful formula, here and in the following, is ∑ _n=1^Nn² = N(N + 1)(2N + 1)∕6.