Nitpick:
replys/must shrink/must eventually shrink, after finitely many n/
Equivalently, must go to zero in the limit.
depends on what you think shrink means. If you mean decreasing, that's false even eventually.
reply[dead]
replys/must shrink/must eventually shrink, after finitely many n/
Equivalently, must go to zero in the limit.