is sin(1/n) < 1/n