cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A143835 a(n) = Number of x <= 10^n such that 2x^2-1 is prime.

Table of values

n a(n)
1 7
2 45
3 303
4 2202
5 17185
6 141444
7 1200975
8 10448345
9 92435171
10 828797351
11 7511268020
12 68680339342

List of values

[7, 45, 303, 2202, 17185, 141444, 1200975, 10448345, 92435171, 828797351, 7511268020, 68680339342]