Exact packing constant for n = 36
OpenCirclePackingConstants.c_n_thirty_sixcircle-packingdiscrete-geometry
Prove the exact grid optimum d₃₆ = 1/5, equivalently c₃₆ = π/4.
Preamble
import Definitions.Def_CirclePackingConstants noncomputable section namespace CirclePackingConstants
Formal statement
theorem c_n_thirty_six :
c_n 36 = Real.pi / 4 := by sorrySource
User-supplied Circles in squares: proofs and bounds, pp. 2–3, supplied September 12, 2026.
Human review
Confirmed by the mission captain (proposal self-audit).