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.