Back to record ledger
Kernel verified
Certified critical-line bound 0.673547805591161732991127485254
Sharpens the cosine enclosure and obtains the sine bound from sin²+cos²=1. Exact rational propagation through the Gram-defect certificate.
Certified lower bound67.3547805591%
κ = (167031227639218487 : ℝ) / 247987190000000000