Definition:Pi/Binary Expansion

From ProofWiki
Jump to navigation Jump to search

Binary Expansion

The binary expansion of $\pi$ starts:

$\pi \approx 11 \cdotp 00100 \, 10000 \, 11111 \, 1011 \ldots$

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


Also see


Sources