用ε-N语言证明sin(nπ/2)/n的极限是0(n是分母,SIN那一坨是分子)