lim (sec5x - tanx) as x goes to pi/2 from right