156385domain: NAppears in sequencesa(n) = number of primes of the form P(k) = k^2 + 1 <= 10^n as predicted by the Hardy and Littlewood Conjecture F, rounded to nearest integer. The actual number of primes is A083844(n).at n=12A331942Expansion of e.g.f. exp( x * cosh(sqrt(2)*x) ).at n=9A381341