用定义域证明lim sin n/n 的极限为0