lim x-> inf sin^2 x