This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A364725 #51 Nov 07 2023 05:02:42 %S A364725 4,6,7,11,69,176404 %N A364725 Starting with a plane on which two parallel lines and two additional lines have been drawn such that the four lines form two non-congruent triangles, a(n) is the total number of lines on the plane after the n-th step, where each step consists of drawing lines that connect every intersection of two lines. %C A364725 Definition is better understood when looking at the "Doodle Sequence" Desmos graph. %H A364725 Colin Linzer, <a href="https://www.desmos.com/calculator/qbccfg2end">Doodle Sequence</a> (a desmos graph). %F A364725 A recursive formula for an upper bound: %F A364725 a(n+1) <= (a(n)^4 - a(n)^2)/8 + (a(n) - a(n)^3)/4 which is equivalent to %F A364725 a(n+1) <= binomial(binomial(a(n),2),2) (proven). %F A364725 The proof of the above formula comes from the fact that if there are m lines on a graph, then there are at most (m^2-m)/2 intersections. If there are o points on a graph then at most (o^2-o)/2 lines that can be drawn between them, substituting and simplifying leads to the former upper limit. %F A364725 A non-recursive formula for a lower bound: %F A364725 a(n) >= 4 + 61*floor(n/5) + 2*[n>=1 (mod 6)] + [n>=2 (mod 6)] + 4*[n>=3 (mod 5)] + 50*[n==4 (mod 5)] (proven). %F A364725 The proof for the latter formula comes from the fact that in term 6, the new lines form an object congruent to the initial position. That "replica" will "grow" at a rate that must be greater than or equal to that of the original due to the extra lines not part of it, and that it will also produce another objects congruent to the original that will produce another... This formula comes directly from the difference between the terms, so you start with four, then add 2, then 1 ... then when the replicas are produced every 5 terms, you repeat the process. The growth is actually quadratic or higher in order as there are multiple replicas created each time, but that is harder to calculate and has not been done yet. %Y A364725 Cf. A050534, A365553. %K A364725 nonn,hard,more %O A364725 1,1 %A A364725 _Colin Linzer_, Aug 04 2023 %E A364725 a(6) from _Jinyuan Wang_, Aug 09 2023 %E A364725 Definition corrected by _Colin Linzer_, Sep 12 2023