证明欧拉常数极限存在