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 A138195 #4 Feb 14 2025 17:28:24
%S A138195 4,4,4,4,5,5,6,6,6,7,7,8,8,8,9,9,9,10,10,11,11,11,12,12,12,13,13,13,
%T A138195 14,14,14,15,15,15,16,16,16,17,17,17,17,18,18,18,19,19,19,20,20,20,21,
%U A138195 21,21,21,22,22,22,23,23,23,24,24,24,24,25,25,25,26,26,26,26,27,27,27,28
%N A138195 Floor(8*n/(5*log(n))).
%C A138195 A138194(n) <= A000720(n) <= a(n), (Tschebyscheff, 1850).
%t A138195 Table[Floor[(8n)/(5Log[n])],{n,2,80}] (* _Harvey P. Dale_, Feb 14 2025 *)
%Y A138195 Cf. A050500, A050499, A050501.
%K A138195 nonn
%O A138195 2,1
%A A138195 _Reinhard Zumkeller_, Mar 04 2008