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 A346607 #14 Oct 30 2022 21:22:23 %S A346607 0,0,0,0,0,0,0,0,0,0,0,3,0,0,3,0,0,0,0,8,6,0,0,6,0,0,0,11,0,3,0,0,9,0, %T A346607 10,16,0,0,12,13,0,6,0,19,23,0,0,15,0,0,15,24,0,0,30,35,18,0,0,9,0,0, %U A346607 21,0,23,9,0,32,21,10,0,48,0,0,24,35,39,12,0,45,0,0,0,16,30,0,27,38,0,23,59 %N A346607 a(n) = A047994(n) - A344005(n). %C A346607 Conjecture: a(n) >= 0. Verified for n <= 100000. %C A346607 I believe I have a proof of the conjecture, although I have not yet written out all the details. %H A346607 N. J. A. Sloane, <a href="/A346607/b346607.txt">Table of n, a(n) for n = 1..10000</a> %Y A346607 Cf. A047994, A344005, A346608. %K A346607 nonn %O A346607 1,12 %A A346607 _N. J. A. Sloane_, Aug 08 2021