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 A373847 #5 Jun 20 2024 16:25:57 %S A373847 1,2,3,4,5,6,8,9,10,12,14,15,16,18,20,22,24,25,26,27,30,32,36,40,42, %T A373847 45,48,50,54,56,60,63,64,70,72,74,75,80,81,84,88,90,96,98,100,105,108, %U A373847 110,112,120,125,126,128,132,135,140,144,147,150,154,160,162,165,168,175,176,180,182,189,192,196,198,200,210 %N A373847 Numbers k for which A373842(k) <= k, where A373842 is the arithmetic derivative of the primorial base log-function. %o A373847 (PARI) isA373847(n) = (A373842(n)<=n); %Y A373847 Cf. A373842. %Y A373847 Subsequences: A373846, A373848. %K A373847 nonn %O A373847 1,2 %A A373847 _Antti Karttunen_, Jun 20 2024