Reciprocal of 2

Theorem

The decimal expansion of the reciprocal of $2$ is as follows:

$\dfrac 1 2 = 0 \cdotp 5$