OFFSET
1,1
COMMENTS
'Location' starts from the first digit after the decimal point and refers to the first digit of a(n).
LINKS
Jinyuan Wang, Table of n, a(n) for n = 1..2000
Dave Andersen, Pi-Search Page
FORMULA
a(n) > A014777(n). - Michael S. Branicky, Jul 10 2022
PROG
(Python)
from sympy import pi
from itertools import count, islice
digits_of_pi = str(pi.n(10**5))[1:-1]
def agen():
for k in count(1):
kloc = digits_of_pi.find(str(k))
assert kloc > 0, ("Increase precision", k)
if k > kloc: yield k
print(list(islice(agen(), 61))) # Michael S. Branicky, Jul 10 2022
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Patrick De Geest, Feb 15 1999
EXTENSIONS
Offset changed to 1 by Jinyuan Wang, Sep 04 2021
STATUS
approved