הצגת המקור של קוד:אי שיוויונים של גבולות (פונקציות)

\begin{theorem}
$\lim_{x\to a} f(x)=L \Rightarrow \forall y<L, z>L \exists \delta \forall x : 0<|x-a|<\delta \Rightarrow y<f(x)<z $
\end{theorem}


\begin{proof}
אם ניקח $\varepsilon=\min\{|L-y|,|z-L|} $ אז קיים $\delta>0 $ כך ש- $\forall x : 0<|x-a|<\delta \Rightarrow y\leq L-\varepsilon<f(x)<L+\varepsilon\leq z
\end{proof}
$\\$
\underline{מסקנה:} אם $f(x)\underset{x\to a}{\longrightarrow}L_1 , g(x)\underset{x\to a}{\longrightarrow}L_2 $ ו- $f(x)\leq g(x) $ אז $L_1 \leq L_2 $

\begin{proof}
נניח בשלילה ש- $L_1>L_2 $ ולכן $\lim_{x\to a} f(x)-g(x) = L_1 - L_2 > 0 $ (לפי אריתמטיקה של גבולות) ומזה ומהמשפט שהוכחנו יש סביבה של $a$ בה $f(x)-g(x)>0 $, בסתירה לנתון.
\end{proof}