# Mixing

Calculus Level pending

Find the area of triangle with vertices -

$$(0,0) , \left( \displaystyle \lim_{x \to \dfrac{\pi}{2}} \left[ \dfrac{x - \dfrac{\pi}{2}}{\cos x} \right] , 0 \right)$$ and $$\displaystyle \left( 0 , \lim_{x \to 0} \left(\dfrac{\tan x}{x}\right)^{\dfrac{1}{x}} \right)$$

[.] - greatest integer function

×