lim(x(x − 1)(x − 2)(x − 3))/sin(pi*x)) as x to 0-