Back to record ledger
Kernel verified
Certified critical-line bound 0.673570008600517227066544444712
Refines exact rational bounds in the nine-point Gram-defect proof
Certified lower bound67.3570008600%
κ = (667801670564118872522651 : ℝ) / 991436171500000000000000