Skip to main content
1 of 2
Per Alexandersson
  • 15.8k
  • 10
  • 74
  • 133

This is just partial numerics, but the following Mathematica code strengthens the conjecture, with 500 decimal places:

prec = 500; (* Precision of calculations. *)
lhs = N[Zeta[3], prec]
rhs = N[(-Zeta'''[1/2]/Abs[Zeta[1/2]] -
 3 Zeta''[1/2] Zeta'[1/2]/Abs[Zeta[1/2]]^2 -
 2 Zeta'[1/2]^3/Abs[Zeta[1/2]]^3 - Pi^3/4)/7, prec]
lhs == rhs (* Gives true *)
Per Alexandersson
  • 15.8k
  • 10
  • 74
  • 133