z limit as x -> pi/4 of sin x