Let . Prove that .
We consider the function . The first derivative of this function is In the interval the numerator is always negative as x is less than tan x.
Hence f(x) is a monotonically decreasing function in the given interval. Hence f(x) attains least value at which equals
Therefore in the given interval.