%I #15 Sep 08 2022 08:46:14
%S 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 19,20,20,21,22,22,23,24,24,25,26,27,27,28,29,29,30,31,31,32,33,33,34,
%U 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 Beatty sequence for log(2).
%H G. C. Greubel, <a href="/A265133/b265133.txt">Table of n, a(n) for n = 1..5000</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/BeattySequence.html">Beatty Sequence</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/NaturalLogarithmof2.html">Natural Logarithm of 2</a>
%H <a href="/index/Be#Beatty">Index entries for sequences related to Beatty sequences</a>
%F a(n) = floor(n*log(2)).
%F a(n) = A059541(n) - n.
%t Table[Floor[Log[2] n], {n, 1, 80}]
%o (PARI) a(n) = floor(n*log(2)); \\ _Altug Alkan_, Dec 02 2015
%o (Magma) [Floor(n*Log(2)): n in [1..100]]; // _Vincenzo Librandi_, Dec 03 2015
%Y Cf. A002162, A059541, A059543.
%K nonn,easy
%O 1,3
%A _Ilya Gutkovskiy_, Dec 02 2015
|