単調減少すれば1に収束するといえばM.B.さんはグッドスタインの定理ってご存知?