So the original formula is lime *1= 0;
It can also be understood that the higher order of sin(xy)~0(x) is infinitely small, and x~0 is infinitely small.
The formula is 0(x)/0=0.