lim(x*sin1 x 1 xsinx)