The values were obtained by constructing the circle arrangements in a vector graphics program and have not been proved to be correct.
From David Consiglio, Jr., Jan 09 2015: (Start)
As n increases, the ngon more and more closely approximates a circle. As a result, the lower bound (which is highly likely to be the correct term for larger and larger n) is the number of circles that can be packed into an inscribed circle, the radius of which is given by the expression cot(Pi/n). Look up this radius in column 3 at www.packomania.com to find the lower bound of a(n).
A rough upper bound would be the closest packing of circles into the area of the ngon (formula below). A better upper bound is likely possible.
See file for lower and upper bounds through a(20). The lower bounds have been proved for a(3) through a(13).
(End)
