lim (1-cos x)/sin x for x=pi+