lim(1/n*sin n) 应该怎么算