Rozvineme \(\cos x\) jako
\[\begin{equation} \label{e:cos} \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} + o(x^4), \end{equation}\]
kde \(o(x^4)\) je zkratka pro nějakou takovou funkci \(f(x) = o(x^4)\), že \(\lim\limits_{x \to 0} \frac{f(x)}{x^4} = 0\).
Podobně rozvineme
\[e^y = 1 + \frac{y}{1!} + \frac{y^2}{2!} + o(y^2)\]
a dosadíme \(y = -\frac{x^2}{2}\). Potom
\[\begin{equation} \label{e:ex2} e^{-x^2/2} = 1 - \frac{x^2}2 + \frac{x^4}{4{\cdot} 2} + o(x^4), \end{equation}\]
přičemž předpokládáme, že ovládáme aritmetiku se symboly \(o\), tj. rozmyslete si, že pokud \(\lim\limits_{y \to 0} \frac{f(y)}{y^2} = 0\), potom také \(\lim\limits_{x \to 0} \frac14 \cdot \frac{f(-x^2/2)}{(-x^2/2)^2} = 0\), a tedy \(f(-x^2/2) = o(x^4)\).
S použitím rovností (1) a (2) dostáváme
\[ \lim\limits_{x \to 0} \frac{\cos x - e^{-\frac{x^2}2}}{x^4} = \lim\limits_{x \to 0} \frac{1 - x^2/2 + x^4/24 + o(x^4) - 1 + x^2/2 - x^4/8 - o(x^4)}{x^4} = \]
\[ = \lim\limits_{x \to 0} \frac{x^4/12 + o(x^4) - o(x^4)}{x^4}. \]
Pozor, výrazy \(o(x^4)\) od sebe nemůžeme odečíst, protože každý mohou reprezentovat jinou funkci. Na druhou stranu ale platí, že \(o(x^4) - o(x^4) = o(x^4)\) (popř. \(o(x^4) + o(x^4) = o(x^4)\)), rozmyslete si.
Tedy výsledná limita je rovná:
\[ \lim\limits_{x \to 0}\frac{\frac1{12}x^4}{x^4} + \lim\limits_{x \to 0}\frac{o(x^4)}{x^4} =\frac{1}{12} + 0 = \frac1{12}. \]
