分からない問題はここに書いてね452

>>61
ベルトラン予想（チェビシェフの定理)
　n≧2　⇒　π(2n-1) ≧ π(n) +1,
から
　π(n) ≧ log(n) / log(2),
が出る。
　π(x) ≧ π([x]) ≧ log[x] / log(2) > log(x-1)/log(2).