OFFSET
0,3
COMMENTS
The terms from a(2) onwards must be regarded as lower bounds, because no proof for the non-existence of squares with a very small number of binary zeros in the range k^2 > 2^90 (see b-file of A230097) is known.
a(9) >= 63, a(10) >= 57.
EXAMPLE
A357657(n)
n a(n) bits k k^2 k^2 in binary
0 1 1 1 1 1
1 0 1 0 0 0
2 13 15 181 32761 111111111111001
3 8 11 45 2025 11111101001
4 13 17 362 131044 11111111111100100
5 16 21 1241 1540081 101110111111111110001
CROSSREFS
KEYWORD
nonn,base,hard,more
AUTHOR
Karl-Heinz Hofmann and Hugo Pfoertner, Oct 07 2022
STATUS
approved