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 A053712 #24 Mar 10 2025 11:12:06 %S A053712 5,113,3628789,51090942171709439969 %N A053712 Lower balancing primes to prime-balanced factorials. %C A053712 The next two terms are 171!-397 and 190!-409. - _Jud McCranie_, Jul 04 2000 %H A053712 Amiram Eldar, <a href="/A053712/b053712.txt">Table of n, a(n) for n = 1..7</a> %F A053712 a(n) = A053709(n)! - A053711(n) = A053710(n) - A053711(n). - _Amiram Eldar_, Mar 10 2025 %e A053712 113 is balancing 5! = 120 from below, where 5! = 120 is a balanced factorial. %Y A053712 Cf. A033932, A033933, A037151, A006990, A006562, A053709, A053710, A053711, A053713. %K A053712 nonn %O A053712 1,1 %A A053712 _Labos Elemer_, Feb 10 2000