- 766 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 22:07:56 ]
- >761
x≧e^e のとき ln(ln(x)) ≧ 1,
1 ≧ {1+ln(x)}/{ln(x) + ln(ln(x))} = {1+ln(x)}/{ln(x･ln(x))},
これを e^e≦x≦n で積分して、
n - e^e ≧ ∫[e^e, n] {1+ln(x)}/{ln(x･ln(x))}dx
= ∫[e^(e+1), n･ln(n)] 1/ln(y) dy (← y=x･ln(x) )
= Li(n･ln(n)) - Li(e^(e+1))
≒ π(n･ln(n)) - π(exp(e+1)), (← 怪しい…)
∴ n ≧ π(n･ln(n)) + e^e - π(e^(e+1))
= π(n･ln(n)) + 15.15426224… -13
> π(n･ln(n)) + 2,
π(x) = #{p|pは素数、p≦x} はp_nの逆函数なので、
p_n ≧ n･ln(n),
