{"articles":{"monotone-inf-is-liminf@set-theory":{"content":"<p>Let \\(A\\) be a decreasing sequence. \\[{{{\\operatorname{LimInf} A}} = {{\\operatorname{Inf} A}}}\\] <br> Let \\(A\\) be an increasing sequence. \\[{{{\\operatorname{LimSup} A}} = {{\\operatorname{Sup} A}}}\\]</p>","names":[[["Monotone infimum is limit infimum",""]]]}},"style":"Statement"}