limit x -> pi/4 (1-tan x)/(x - pi/4)