これは帰納法をn→∞でも成り立つとか考えちゃうタイプか