问题
γ = limn→∞ (Hn − log n)，其中 Hn = 1 + 1/2 + ⋯ + 1/n。欧拉 1734 年引进它，近三个世纪后我们连「γ 是否有理」都不知道——相比之下 ζ(3)（1978）、e、π 的无理性都是定理。若 γ = a/b，则 b > 10242080（Papanikolaou 1998 的界）：γ 若有理，分母大得超出一切物理意义。问题的尴尬在于：γ 的每个已知表示都恰好是「无理性证明唯一缺失的那块拼图」。
主要概念
交错和表示
γ = Σn≥1 (1/n − log(1 + 1/n))——「调和级数减去其对数近似」逐项偿还。与 e = Σ1/n!（阶乘收敛，易证无理）对比：这里每项约为 1/(2n²)，二次收敛太慢，常见的 «快速收敛 ⇒ 无理» 引擎点不着火。
斯蒂尔切斯常数
ζ(s) 在 s = 1 的洛朗展开 ζ(s) = 1/(s−1) + Σk≥0 (−1)kγk(s−1)k/k! 中 γ₀ = γ。γ 与 ζ 的 «极点附近的解剖结构» 深度绑定——这是它难缠的代数根源。
主要命题与证明
命题 1（完整证明） γ = Σn=1∞ (1/n − log(1 + 1/n))，且通项为正、量级 1/(2n²)。
证明 逐项 ck = 1/k − (log(k+1) − log k)，对 k = 1 到 n 求和：Σk≤n ck = Hn − log(n+1) → γ（与 Hn − log n 同极限，差 log(1+1/n) → 0）。通项估计：f(x) = log(1+x) − x 满足 f(0) = 0、f′(0) = 0、f″(x) = −1/(1+x)²，由泰勒展开带拉格朗日余项：f(x) = −x²/(2(1+ξ)²) 对某 ξ ∈ (0, x)，故 |f(x)| ∈ [x²/(2(1+x)²), x²/2]；代入 x = 1/k 得 ck = −f(1/k) ∈ [1/(2(k+1)²), 1/(2k²)]。□
命题 2（积分表示，完整证明） γ = ∫₀¹ (1/log x + 1/(1−x)) dx，被积函数在 x→1 处的表观奇性可去（极限 −1/2）。
证明 对 n ≥ 1：∫₀¹ (1−xn)/(1−x) dx = Hn（把 1−xn = (1−x)(1+x+⋯+xn−1) 展开，逐项积分得 Σ1/k）。又有标准积分 log n = ∫₀¹ (xn−1−1)/log x dx（对右边在 «n 参数» 下求导得 ∫₀¹ xn−1 dx = 1/n，再由 n = 1 时两边同为 0 定常数）。两式相减取极限 n → ∞，被积函数逐点收敛于 1/log x + 1/(1−x)，用控制收敛（|被积| ≤ C/log²x 型主控）完成。□
命题 3（Euler–Maclaurin 的余项结构与有理逼近，严格梗概） 对任意固定 m：Hn = log n + γ + 1/(2n) − Σk=1m B2k/(2k·n2k) + O(n−2m−2)。取截断 rm(n) = 2n(Hn − log n − γ)……由此得对 γ 的有理逼近，其分母 ≈ n2m+2 量级、误差 ≈ n−2m−1——逼近指数 μ ≈ 1：远低于 «无理性引擎»（连分数逼近指数 > 2）所需。Papanikolaou 的 10242080 界正是把这类逼近与连分数展开的实测项结合所得：γ 的连分数前 400 万项无任何逼近指数异常。这解释了僵局：不是没有逼近，而是逼近「太规矩」——而 γ 无理性的证明需要一次 «不规矩»。
进展与文献
Papanikolaou 的分母界（1998，经 Brent–McMillan 的 20180 位计算）；Sondow 的 «γ 无理性判据» 系列（把 γ 写成嵌套级数与 Euler 数的组合，任何一条判据被打破即得无理性）；Rivoal 与 Fischler 关于 «ζ 值线性型» 方法能否触及 γ 的分析（结论：现有方法全部失效，因为 γ 不在 ζ 值的 «周期» 框架内——它连是不是周期都不知道）。与问题 46（Agoh–Giuga）的伯努利数视角互补：γ 是伯努利数的 «一阶影子»。总体状态：这是最接近 «教科书级未解问题» 的常数问题——陈述只需一行，方法库全部落空。