Tue, 22 Jul 2025 02:00:04 +0000

\[
\lim_{x \to +\infty}, \inf_{x > s} \text{ and } \sup_K
\]