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 A094390 #9 Jan 27 2025 08:20:23
%S A094390 2,4,6,8,10,13,15,17,19,21,24,26,28,30,32,35,37,39,41,43,46,48,50,52,
%T A094390 54,57,59,61,63,65,67,70,72,74,76,78,81,83,85,87,89,92,94,96,98,100,
%U A094390 103,105,107,109,111,114,116,118,120,122,125,127,129,131,133,135,138,140
%N A094390 Beatty sequence of exp(Pi/4).
%C A094390 Beatty complement is A094391.
%H A094390 G. C. Greubel, <a href="/A094390/b094390.txt">Table of n, a(n) for n = 1..10000</a>
%F A094390 a(n) = floor(n * exp(Pi/4)).
%t A094390 c = E^(Pi/4); Table[Floor[n*c], {n,65}]
%o A094390 (Magma)
%o A094390 R:= RealField(100);
%o A094390 [Floor(n*Exp(Pi(R)/4)): n in [1..100]]; // _G. C. Greubel_, Sep 27 2024
%o A094390 (SageMath)
%o A094390 [int(n*exp(pi/4)) for n in range(1,101)] # _G. C. Greubel_, Sep 27 2024
%Y A094390 Cf. A160510, A094391.
%K A094390 nonn
%O A094390 1,1
%A A094390 _Robert G. Wilson v_, Apr 28 2004