Back to record ledger
Kernel verified
Certified critical-line bound 0.673570123928460303697174344358
Refines rational enclosures and the certified threshold in the earlier nine-point Gram-defect proof.
Certified lower bound67.3570123928%
κ = (834752088205148593469931805501689594457 : ℝ) / 1239295002184223036525000000000000000000