lim x*sin(pi/x) as x->0