zu einer auf einer Menge D ⊂ ℝ definierten Funktion \(\phi :D\to {\mathbb{R}}\) an einer Stelle a ∈ D, die Häufungspunkt von \(D\mathop{\cap }\limits^{}[a,\infty )\) sei, durch \begin{eqnarray}\liminf \limits_{x\downarrow a}\,\phi (x)=\lim\limits_{x\downarrow a}\,\inf\limits_{t\in (a,x)}\phi (t)\,\in\, [-\infty,\infty ]\end{eqnarray} definierte Größe. Ebenso ist der rechtsseitige Limes superior definiert durch \begin{eqnarray}\limsup\limits_{x\downarrow x} \,\phi (x)=\lim\limits_{x\downarrow a}\,\sup\limits_{t\in (a,x)}\phi (t)\,\in\, [-\infty,\infty ].\end{eqnarray} Es gilt \begin{eqnarray}\liminf\limits_{x\downarrow a}\,\phi (x)\le \limsup\limits_{x\downarrow a}\,\phi (x)\end{eqnarray} mit Gleichheit genau dann, wenn der rechtsseitige Grenzwert φ(a+) in [−∞, ∞] existiert, der dann gleich dem rechtsseitigen Limes inferior und superior ist. Mit Hilfe des rechtsseitigen Limes inferior wird die Dini-AbleitungD₊f einer Funktion f definiert, und mit dem rechtseitigen Limes superior ihre Dini-Ableitung D⁺f.