lim as x to 0^+ of sin^x(x)