>>477
n≧0に対して、そもそも最初から

a_n ＝ 3^n−2^n cos((円周率) * n),　b_n＝ 2 * 3^n＋(3/2) * 2^n＋2^100

と定義する。どちらも n についての連続関数であることに注意せよ。
このように定義した a_n, b_n に対して、>>448-452と同じ計算をすれば、
任意の n≧0 に対して

(1)　a_{n＋1}−a_n ＜ b_n

が成り立つことが言えてしまう。しかし、この(1)には無限個の反例がある。

よって、件のインチキ帰納法は正しくない。