Puesto que usted ya sabe cómo llegar al límite sin la función del suelo, voy a tratar de demostrar que la desigualdad sin series de Taylor.
$$x^2<\sin x \tan x \quad as \; x \to 0$$
He hecho la sustitución $x \to \arctan x$ .
$\arctan^2 x<x\sin (\arctan x)$
$\arctan x < \large \frac{x}{(x^2+1)^{\frac 14}}$
Hay dos funciones de $f(x)$ y $g(x)$ . $f(0)=g(0)$ . Si $f'(x)>g'(x)$ en el intervalo de $(0, a)$ , que implica que $f(x)>g(x)$ en el intervalo de $(0, a)$ . Por lo tanto, si $RHS'>LHS'$,$RHS>LHS$ .
$\large \large \large \frac {1}{x^2+1} <\frac {x^2+2}{2(x^2+1)^{\frac 54}}$
$1<\large \frac {x^2+2}{2(x^2+1)^{\frac 14}}$
Utilizando las técnicas estándar (como la primera derivada de la prueba) podemos demostrar que el $RHS$ tiene un mínimo en$(0, 1)$, por lo que hemos demostrado la desigualdad. Espero que esto ayude!