Nitpick:
s/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.
[dead]
depends on what you think shrink means. If you mean decreasing, that's false even eventually.
[dead]