Firoozbakht予想の証明

>>458
正しいでしょ。b_n＝ 2 * 3^n＋(3/2) * 2^n＋2^100 なんだから

Σ[k＝0〜m] b_k ＝ Σ[k＝0〜m](2 * 3^k＋(3/2) * 2^k＋2^100) ＝ 3^{m＋1}−1＋(3/2)(2^{m＋1}−1)＋(2^100)(m＋1)

ほら、正しい。

あと、最新の書き込みは>>448-452ね。
お前が言うところの "十分条件の確認" とやらも>>452でやってるので
文句のつけようがない。