Packing of An Infinite Plane By Identical Circles by HCR

Mathematical Proof: It is impossible to pack an infinite plane using identical circles of a finite radius by more than π√3/6≈ 90.69%.