Factor for envelope circle for a group of equal circles

Solutions for the smallest diameter circles into which $n$ unit-diameter circles can be packed have been proved optimal for $n$ = 1 through 10, based on a paper by Kravitz, S. 'Packing Cylinders into Cylindrical Containers' Math. Mag. 40, 65-70, 1967.

Symbol
$F_{eq}$
Formulae
$1$$N_c<=1$
$2$$N_c<=2$
$1+0.6667\sqrt{3}$$N_c<=3$
$1+\sqrt{2}$$N_c<=4$
$1+\sqrt{2\left(1+\frac{1}{\sqrt{5}}\right)}$$N_c<=5$
$1+\frac{1}{sin\left(\frac{\pi}{6}\right)}$$N_c<=7$
$1+\frac{1}{sin\left(\frac{\pi}{7}\right)}$$N_c<=8$
$1+\sqrt{2\left(2+\sqrt{2}\right)}$$N_c<=9$
Choices
NFactorEquationDensityOptimalityReference
11.01.0trivially optimal
22.0$1+1=1+1/sin(\pi/2)$0.5trivially optimal
32.1547$1+2/\sqrt 3=1+1/sin(\pi/3)$0.6466trivially optimal
42.4142$1+\sqrt 2=1+1/sin(\pi/4)$0.6864trivially optimal
52.7013$1+\sqrt (2(1+1/\sqrt 5))=1+1/sin(\pi/5)$0.6854proved optimalGraham (1968)
63.0$1+1/sin(\pi/6)$0.6666proved optimalGraham (1968)
73.0$1+1/sin(\pi/6)$0.7777trivially optimal
83.3048$1+1/sin(\pi/7)$0.7328proved optimal
93.6131$1+\sqrt (2(2+\sqrt 2))=1+1/sin(\pi/8)$0.6895proved optimalPirl (1969)
103.8130.6878proved optimalPirl (1969)
113.9238$1+1/sin(\pi/9)$0.7148proved optimalMelissen (1994)
124.02960.7392proved optimalFodor (2000)
134.2361$2+\sqrt 5=1+1/sin(\pi/10)$0.7245proved optimalFodor (2003)
144.32840.7474conjectured optimal
154.5214$1+\sqrt (6+2/\sqrt 2+4\sqrt (1+2/\sqrt 5))$0.7339conjectured optimal
164.61540.7512conjectured optimal
174.7920.7403conjectured optimal
184.8637$1+\sqrt 2 +\sqrt 6=1+1/sin(\pi/12)$0.7611conjectured optimal
194.8637$1+\sqrt 2 +\sqrt 6=1+1/sin(\pi/12)$0.8034proved optimalFodor (1999)
205.12230.7623conjectured optimal
215.25230.7612
225.39720.7435
235.54520.748
245.65170.7514
255.75280.7554
265.82820.7654
275.90640.774
286.01490.7739
296.13860.7696
306.19770.781
316.29150.7832
326.42940.7741
336.48670.7843
346.6110.778
356.69720.7803
366.67470.7909
376.75880.81
386.96190.784
397.05790.7829
407.12380.7882
417.260.7779
427.34680.7781
437.41990.781
447.4980.7826
457.57290.7847
467.65020.786
477.72420.7878
487.79130.7907
497.88690.7877
507.94750.7916
518.02750.7914
528.08470.7956
538.17960.7922
548.2040.8023
558.21110.8158
568.38350.7968
578.44720.7988
588.52460.7982
598.59250.7991
608.64620.806