スキューズ数 - Wikipedia

スキューズ数（スキューズすう、Skewes number）は、南アフリカの数学者スタンレー・スキューズが素数の個数に関する研究において用いた、極めて大きな数である。具体的には、x 以下の素数の個数 π(x) および 対数積分 li(x) について、 π(x) > li(x) を満たす最小の自然数 x の上界としてスキューズが与えた数を指すが、このような x 自体を指すこともある。2021年時点で、このような x は 1014 より大きく[1] 1.3983 × 10316 未満[2]であることが知られているが、正確な値は不明である。 歴史[編集] 素数定理によれば、π(x) は漸近的に li(x) に等しい。実際の値を比較すると、現実的に計算が実行可能な程度に x が小さいあいだは常に li(x) の方が大きいように見える。このことから、π(x) > li(x) となる x が存在するか、