[math-fun] Redefine Halphen's constant?