Self-Locating Number in Pi/Sequence

From ProofWiki
Jump to navigation Jump to search

Theorem

The sequence of self-locating numbers in $\pi$ starts:

$1, 16 \, 470, 44 \, 899, 79 \, 873 \, 884, 711 \, 939 \, 213, 36 \, 541 \, 622 \, 473, 45 \, 677 \, 255 \, 610, 62 \, 644 \, 957 \, 128, 656 \, 430 \, 109 \, 694$

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


Sources