lim sin x, x-> pi