limcosnn=0证明极限