%I #26 Jul 06 2024 15:55:35

%S 0,2,5,7,10,12,15,17,20,22,25,27,30,32,35,37,40,42,45,47,50,52,55,57,

%T 60,62,65,67,70,72,75,77,80,82,85,87,90,92,95,97,100,102,105,107,110,

%U 112,115,117,120,122,125,127,130,132,135,137,140,142,145,147,150,152,155,157

%N a(n) = floor( sqrt(2*Pi)*n ) (a Beatty sequence).

%C Of course this is different from A047215 (they first differ at n=77).

%H G. C. Greubel, <a href="/A038126/b038126.txt">Table of n, a(n) for n = 0..10000</a>

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/BeattySequence.html">Beatty Sequence</a>.

%H <a href="/index/Be#Beatty">Index entries for sequences related to Beatty sequences</a>.

%t With[{c=Sqrt[2*Pi]},Floor[c*#]&/@Range[0,70]] (* _Harvey P. Dale_, Nov 14 2014 *)

%o (PARI) vector(100, n, n--; floor(n*sqrt(2*Pi))) \\ _G. C. Greubel_, Sep 08 2018

%o (Magma) R:= RealField(20); [Floor(n*Sqrt(2*Pi(R))): n in [0..100]]; // _G. C. Greubel_, Sep 08 2018

%Y Cf. A019727, A047215.

%K nonn

%O 0,2

%A _N. J. A. Sloane_, _Felice Russo_