ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P2078 on R1012: Monotonicity of real limits

P2078

This result is a corollary to R1091: Isotonicity of limits. $\square$