Evaluate $ \lim _{x \to 0} \left[{\frac{x^2}{\sin x \tan x}} \right]$ where $[\cdot]$ denotes the greatest integer function. Evaluate $$\lim _{x \to 0} \left[{\frac{x^2}{\sin x \tan x}} \right]$$ where $[\cdot]$ denotes the greatest integer function.
Can anyone give me a hint to proceed?
I know that $$\frac {\sin x}{x} < 1$$ for all $x \in (-\pi/2 ,\pi/2) \setminus \{0\}$ and $$\frac {\tan x}{x} > 1$$ for all $x \in (-\pi/2 ,\pi/2) \setminus \{0\}$. But will these two inequalities be helpful here?

Can you just use the known expansions for $\sin x, \tan x$ for small $x$? Then have $$\frac{x^2}{\sin x \tan x} = \frac{x^2}{(x - \frac{x^3}{6} + \cdots)(x + \frac{x^3}{3} + \cdots)}.$$ The rhs only including terms up to $x^2$ can be written $$\frac{1}{(1 - x^2/6)(1 + x^2/3)}$$ and the denominator to order $x^2$ is $1 + x^2/6$ so that finally have $$\frac{x^2}{\sin x \tan x} = \frac{1}{1 + \frac{x^2}{6} + \cdots} = 1 - x^2/6$$ and the integer part is 0.
Alternatively write the original expression as $$\frac{x^2 \cos x}{\sin^2 x}.$$
