[E1] T = 3,000,175,332,800: A_T has counterexamples at every L >= 754.39478 (Theorem A reaches 753.985)
[E2] T_bar(3157.93) = 9.33450511e+14; Theorem D uses T* = 9.33566e14, ratio 1.0001237
   L        T_bar(L)          T_suf(L)        T_suf/T_bar    3 pi L^4/(1+14/L)
   800.00     3.7978905e+12     3.8054345e+12      1.001986   3.7939942e+12
  1000.00     9.3026197e+12     9.3173894e+12      1.001588   9.2946528e+12
  1500.00     4.7300245e+13     4.7350252e+13      1.001057   4.7271736e+13
  2000.00     1.4981773e+14     1.4993645e+14      1.000792   1.4974821e+14
  2500.00     3.6624326e+14     3.6647536e+14      1.000634   3.661052e+14
  3000.00      7.601022e+14     7.6050353e+14      1.000528   7.59861e+14
  3157.93     9.3345051e+14     9.3207897e+14      0.998531   9.3316841e+14