OFFSET
0,2
COMMENTS
== ===============
n a(n)/A206709(n)
== ===============
0 1
1 1.2
2 1.894737
3 2.008929
4 1.956005
5 1.908954
6 1.938537
7 1.956173
8 1.961299
9 1.965287
10 1.968843
11 1.97178
.
Conjecture 2 (conjecture 1 + A206709 conjecture):
A proof that a(n) is a majorant of A006880(n) would give a nonlinear function with infinitely many primes.
FORMULA
a(n) = pi_{b^2+(b+1)^2}(10^n).
EXAMPLE
a(1) = 6 because there are 6 primes of the form b^2 + (b+1)^2 for b <= 10^1: 1, 2, 4, 5, 7, 9.
PROG
(PARI) a(n)=parsum(k=1, 10^n, isprime(k^2+(k+1)^2));
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Hermann Stamm-Wilbrandt, Jan 04 2026
STATUS
approved
