login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A337019
Maximum number of circles with unit area that can be packed into an equilateral triangle with an area of n.
5
0, 1, 1, 1, 3, 3, 4, 6, 6, 6, 7, 8, 10, 10, 10, 11, 12, 13, 15
OFFSET
1,5
COMMENTS
Are a(17) = 12 and a(18) = 13 proved? They look likely to be no more difficult to prove than some of the earlier terms, and are demonstrably lower bounds by the figures in the Friedman link. - Peter Munn, Apr 25 2023
The packing density, a(n)/n, approaches sqrt(3)*Pi/6 (approximately 0.9069) as n tends to infinity.
FORMULA
Limit_{n->oo} a(n)/n = A093766.
CROSSREFS
Sequence in context: A074883 A338015 A196245 * A092200 A130481 A145805
KEYWORD
nonn,more
AUTHOR
Ya-Ping Lu, Nov 05 2020
EXTENSIONS
Terms corrected by Andrew Howroyd and Peter Munn, Apr 23 2023
STATUS
approved