%I #21 Oct 23 2023 07:35:07
%S 1,2,4,5,7,8,10,11,13,14,16,17,19,20,22,23,24,26,27,29,30,32,33,35,36,
%T 38,39,41,42,44,45,46,48,49,51,52,54,55,57,58,60,61,63,64,66,67,68,70,
%U 71,73,74,76,77,79,80,82,83,85,86,88,89,90,92,93,95,96,98,99,101,102
%N Beatty sequence for Pi/(Pi-1); complement of A022844.
%C Differs from A127450 at term n=122, where A054386(122)=178, A127450(122)=179. - _Martin Fuller_, May 10 2007
%H Martin Fuller, <a href="/A054386/b054386.txt">Table of n, a(n) for n = 1..1000</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 Floor[Pi*Range[80]/(Pi-1)] (* _G. C. Greubel_, Oct 22 2023 *)
%o (Magma) R:=RealField(30); [Floor(n*Pi(R)/(Pi(R)-1)): n in [1..80]]; // _G. C. Greubel_, Oct 22 2023
%o (SageMath) [floor(n*pi/(pi-1)) for n in range(1,81)] # _G. C. Greubel_, Oct 22 2023
%Y Cf. A022844, A108586, A108589, A108591.
%K nonn
%O 1,2
%A _Eric W. Weisstein_