Variance of Discrete Uniform Distribution

Theorem
Let $$X$$ be a discrete random variable with the discrete uniform distribution with parameter $p$.

Then the variance of $$X$$ is given by:
 * $$\operatorname{var} \left({X}\right) = \frac {n^2 - 1} {12}$$

Proof
From the definition of Variance as Expectation of Square minus Square of Expectation:
 * $$\operatorname{var} \left({X}\right) = E \left({X^2}\right) - \left({E \left({X}\right)}\right)^2$$

From Expectation of Function of Discrete Random Variable:
 * $$E \left({X^2}\right) = \sum_{x \in \operatorname{Im} \left({X}\right)} x^2 \Pr \left({X = x}\right)$$

So:

$$ $$ $$ $$

Then:

$$ $$ $$ $$