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 A382707 #12 Apr 05 2025 02:33:32 %S A382707 0,0,0,0,1,1,1,1,1,2,2,2,2,3,3,3,4,4,4,5,5,5,5,5,5,5,6,7,7,7,7,7,8,8, %T A382707 8,8,9,9,9,9,9,9,10,10,10,10,10,10,10,11,11,11,11,11,11,11,12,12,12, %U A382707 12,13,13,13,13,13,13,14,14,14,14,14,14,14,15,15,15,15,16,16,16,17,17,17,17,17,17,17,17,18,18,18,18,19 %N A382707 a(n) = number of indices k, 1 <= k <= n, such that A064413(k) < k. %H A382707 N. J. A. Sloane, <a href="/A382707/b382707.txt">Table of n, a(n) for n = 1..10000</a> %Y A382707 Cf. A064413, A152458, A382702-A382708. %K A382707 nonn %O A382707 1,10 %A A382707 _N. J. A. Sloane_, Apr 04 2025