数学的帰納法は逆向きに考えた方が理解しやすい気がするし、超限帰納法に
繋がりやすいと思う。