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 A265133 #16 Feb 16 2025 08:33:27
%S A265133 0,1,2,2,3,4,4,5,6,6,7,8,9,9,10,11,11,12,13,13,14,15,15,16,17,18,18,
%T A265133 19,20,20,21,22,22,23,24,24,25,26,27,27,28,29,29,30,31,31,32,33,33,34,
%U A265133 35,36,36,37,38,38,39,40,40,41,42,42,43,44,45,45,46,47,47,48,49,49,50,51,51,52,53,54,54,55
%N A265133 Beatty sequence for log(2).
%H A265133 G. C. Greubel, <a href="/A265133/b265133.txt">Table of n, a(n) for n = 1..5000</a>
%H A265133 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/BeattySequence.html">Beatty Sequence</a>
%H A265133 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/NaturalLogarithmof2.html">Natural Logarithm of 2</a>
%H A265133 <a href="/index/Be#Beatty">Index entries for sequences related to Beatty sequences</a>
%F A265133 a(n) = floor(n*log(2)).
%F A265133 a(n) = A059541(n) - n.
%t A265133 Table[Floor[Log[2] n], {n, 1, 80}]
%o A265133 (PARI) a(n) = floor(n*log(2)); \\ _Altug Alkan_, Dec 02 2015
%o A265133 (Magma) [Floor(n*Log(2)): n in [1..100]]; // _Vincenzo Librandi_, Dec 03 2015
%Y A265133 Cf. A002162, A059541, A059543.
%K A265133 nonn,easy
%O A265133 1,3
%A A265133 _Ilya Gutkovskiy_, Dec 02 2015