lim x*sec^2 x as x->pi/2