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 A135325 #7 Feb 16 2025 08:33:07
%S A135325 59473,59671,59699,59707,59729,59743,59747,59755,59771,59779,59791,
%T A135325 59799,59810,152993,153001,155801,155809,155821,155833,155849,155853,
%U A135325 155877,155889,155913,155925,210533,211891,211933,211943,211949,211969
%N A135325 Smallest n such that pi(n)=Floor[n/log((n-pi(n))/e)].
%H A135325 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/PrimeNumberTheorem.html">Prime Number Theorem.</a>
%t A135325 j=0;Do[k=Floor[n/Log[(n-PrimePi[n])/E]];If[PrimePi[n]==k&&k>j,Print[n];j=k],{n,1,10^7,1}]
%Y A135325 Cf. A057834, A058289, A000720.
%K A135325 nonn
%O A135325 1,1
%A A135325 _Manuel Valdivia_, Dec 07 2007