Variance
From timescalewiki
Let $\mathbb{T}$ be a time scale. Let $X$ be a random variable with probability density function $f \colon \mathbb{T} \rightarrow \mathbb{R}$. Then the variance of $X$ is defined by the formula $$\mathbb{V}ar_{\mathbb{T}}(X) = \dfrac{d^2 C_f}{dz^2}(0).$$
Properties
Theorem: The following formula holds: $$\mathbb{V}ar_{\mathbb{T}}(X) = \mathbb{E}_{\mathbb{T}}(X^2) - (\mathbb{E}_{\mathbb{T}}(X))^2.$$
Proof: proof goes here █