lim sin(x/2)/x at 0