Reciprocal of 3

Theorem

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

$\dfrac 1 3 = 0 \cdotp \dot 3$

This sequence is A010701 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).

Proof

Performing the calculation using long division:

   0.33...
  --------
 3)1.00...
     9
   ---
     10
      9
     --
     ..

$\blacksquare$