Back to record ledger
Kernel verified
Certified critical-line bound 0.67360055558414736244072013674
sharpens the terminal rational enclosure in a certified Fourier–Gram bound without changing the underlying analytic estimates or finite certificate.
Certified lower bound67.3600555584%
κ = (58987908612462284494349855592314158679645234516438349025612654260768856563313361607134169248324623825007433319832062439994237046375344239184440993748764458485636731210387942901195987077978282921428808 : ℝ) / 87571051008572708229924696424289752272468109314932861522590792816928281812164242305696549289828669076328438208246427026414887827022048813173386260086069387081188662271810766930352410523661850813809055