做数学题解压！快递小哥两周证明欧拉常数公式

6月5日消息，2023全球数学竞赛公布决赛名单，今年竞赛超过5万人报名参加，参赛者来自千行百业。

来自天津的快递小哥孙金元今年首次参赛，作为数学爱好者，他曾用2周左右时间证明欧拉常数公式。

孙金元在2018年毕业后开始从事快递工作，至今已经5年。做数学题是平时工作中最解压的事情，他说“数学给了我在孤独生活里前行的勇气”。

据悉，欧拉常数又称欧拉-马斯克若尼常数，近似值为γ≈0.57721 56649 01532 86060 65120 90082 40243 10421 59335。

欧拉常数最先由瑞士数学家莱昂哈德·欧拉在1735年发表的文章De Progressionibus harmonicus observationes中定义。欧拉曾经使用C作为它的符号，并计算出了它的前6位小数，1761年他又将该值计算到了16位小数。

1790年，意大利数学家马歇罗尼引入了γ作为这个常数的符号，并将该常数计算到小数点后32位。