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 A281196 #23 May 14 2020 17:46:54 %S A281196 9,10,11,12,13,14,19,20,25,26,27,29,30,31,32,33,34,35,36,37,39,41 %N A281196 Number of n such that A247600(n) = 5. %C A281196 Conjecture: This sequence has just 22 terms shown. %C A281196 Sequence is finite and complete. Since pi(x) < 1.25506*x/log(x), it follows that for x > 106, pi(5*x) < x + 5. - _Chai Wah Wu_, May 01 2018, May 14 2020. %F A281196 pi(5*a(n)) = a(n) + 5. %e A281196 9 is a term since pi(5*9) = 14 = 9 + 5, and pi(m*9) = 9 + m for no m < 5. %Y A281196 Cf. A000720, A247600, A281197. %K A281196 nonn,fini,full %O A281196 1,1 %A A281196 _Seiichi Manyama_, Jan 17 2017