>>608
> それに勝手に有限回で必ず1になると記述してるが
任意のn∈Nで成り立つなんて書かれてないが?