Back to record ledger
Kernel verified
Certified critical-line bound 0.673547998068810556345035683851
refines exact rational estimates within the existing Gram-defect framework
Certified lower bound67.3547998068%
κ = (6424046928501143 : ℝ) / 9537623075000000