%I #30 Jan 31 2023 08:39:06
%S 0,2,5,7,10,13,15,18,21,23,26,29,31,34,37,39,42,45,47,50,53,55,58,61,
%T 63,66,69,71,74,77,79,82,85,87,90,93,95,98,101,103,106,109,111,114,
%U 117,119,122,125,127,130,133,135,138,141,143,146,149,151
%N A Beatty sequence: a(n) = floor(n*2^sqrt(2)).
%C 2^sqrt(2) is the Hilbert number (a.k.a. Gelfond-Schneider constant) (A007507).
%C Of course this is different from A047480.
%H G. C. Greubel, <a href="/A038127/b038127.txt">Table of n, a(n) for n = 0..10000</a>
%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Hilbert_number">Hilbert number</a>
%H <a href="/index/Be#Beatty">Index entries for sequences related to Beatty sequences</a>
%t Floor[2^Sqrt[2] Range[0,60]] (* _Harvey P. Dale_, Dec 03 2012 *)
%o (PARI) for(n=1,50, print1(floor(n*2^(sqrt(2))), ", ")) \\ _G. C. Greubel_, Mar 27 2018
%o (Magma) [Floor(n*2^(Sqrt(2))): n in [1..50]]; // _G. C. Greubel_, Mar 27 2018
%K nonn
%O 0,2
%A _Felice Russo_