>>400
その屁理屈で逆向きに辿れると言い張るのなら、>>353も逆向きに辿れて正しい証明になってるよな。

＞次に、n≧17 として、0≦m≦n のとき常に a_{m＋1}−a_m ＜ b_m が成り立つとする。
＞
＞a_1−a_0 ＜ b_0
＞a_2−a_1 ＜ b_1
＞a_3−a_2 ＜ b_2
＞　：
＞　：
＞a_{m＋1}−a_m ＜ b_m

ほら、ちゃんと a_{m＋1}−a_m ＜ b_m が成立してるぞ。
もともとそういう仮定から出発して議論してるんだし、当然だよな。
すると、お前の屁理屈により、>>353は逆向きに辿れて正しい証明になってるわけだな。

しかし、>>353の不等式には反例が無限個ある。この時点でインチキ帰納法は崩壊している。