[定理]素数定理（ガウスが10代の頃に予想、ルジャンドルも予想、1896年にアダマールとド・ラ・バレ＝プーサンがほとんど同時かつ独立に証明）
ただし、π(x)はx以下の素数の個数、即ちπ(x)=def#{p：素数|p≦x}とする。
〜という記号の意味は、x→∞のときに左辺と右辺の比が1に収束するということである。
[定理]x→∞のとき、
x→∞のときに最も大きくなる項のことを主要項、それ以外の項を誤差項（あるいは第二項）という。この主要項に注目すると、素数定理はπ(x)の主要項のみを与えている定理といえる。素数定理の右辺は部分積分によって、次のように分母のlog(x)の次数が高くなる級数の形に展開される[1]。
この級数の主要項は、誤差項はそれ以外になる。よって、素数定理は次のように表現できる（もちろん誤差項を残した先ほどの表現の方がよく近似している）。
[定理]簡略版の素数定理
この表現から読み取れることは、直観的にxくらいの大きさの数が素数である確率は約ということになる。
ところで、xを限りなく大きくするとき、はいくらでも大きくなる。なぜならば、
とおくとき、
であり、
となる。xが限りなく大きくなるとき、nも限りなく大きくなる。つまり、指数関数enも急激に増えて息、そのスピードはnよりも速い。よって、はいくらでも大きくなる[2]。
例：とする[4]。
このとき、
よって、x=10100のとき、である。
計算に用いたMathematicaのコードは次の通り。//Nは近似値を求めるときに付ける。このNは数値を意味する語"Numerical"の頭文字をとったもので，大文字でなければいけない。
1/Log[10^100]//N
したがって、x=10100付近の素数同士の平均ギャップはになる。
次に、x=10100から始めて何回チェックすれば素数が見つかることが期待できるかを調べる。ただし、2以外はすべての素数が奇数なので、奇数だけを調べるとする。
x=10100付近の素数同士の平均ギャップは230なので、この平均ギャップの下で、2つの素数の中間点から始めたと仮定すると（10100は明らかに素数でない）、回調べれば次の素数が出てくることが期待できる。
[考察]例えば、1,024ビットならば数千個に1個の素数が存在する[5]。
ところが、素数をまったく含まない任意に長い区間がある（素数砂漠）。
なぜならば、
このn個の間には素数が1つも入っていないからである。
