OFFSET
0,2
COMMENTS
For n > 0, a(n) is the unique solution to x^2 == -6 (mod 5^n) in the range [0, 5^n - 1] and congruent to 3 modulo 5.
A324027 is the approximation (congruent to 3 mod 5) of another square root of -6 over the 5-adic field.
LINKS
Wikipedia, p-adic number
FORMULA
EXAMPLE
13^2 = 169 = 7*5^2 - 6;
88^2 = 7744 = 62*5^3 - 6;
463^2 = 214369 = 343*5^4 - 6.
PROG
(PARI) a(n) = truncate(-sqrt(-6+O(5^n)))
CROSSREFS
Approximations of 5-adic square roots:
A324027, sequence (sqrt(-6));
KEYWORD
nonn
AUTHOR
Jianing Song, Sep 07 2019
STATUS
approved