>>6
無限大への発散
1を含まないループ

この2つが無い事を証明すれば良いだけだぞ