lim (1-sqrt(2)cos x)/(1-(tan x)^2) as x to pi/4