OFFSET
1,1
LINKS
G. C. Greubel, Table of n, a(n) for n = 1..10000
MATHEMATICA
Flatten[Position[RealDigits[Sqrt[2], 10, 500][[1]], 7]] (* G. C. Greubel, Jul 23 2019 *)
PROG
(Python)
from sympy import N, sqrt
def aupton(terms, precision=10000):
idx, alst = -1, []
root2_digits = str(N(sqrt(2), precision+2)).replace(".", "")[:-2]
for i in range(terms):
idx = root2_digits.find("7", idx+1)
if idx != -1: alst.append(idx+1)
else: print("Increase precision: got to", i); break
return alst
print(aupton(55)) # Michael S. Branicky, Dec 26 2021
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Simon Plouffe, Feb 20 2000
STATUS
approved