欧拉常数是无理数符号化