lim x->(pi/2) sinx/x