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 A182770 #17 Sep 08 2022 08:45:55
%S A182770 1,3,4,6,7,9,11,12,14,15,17,19,20,22,23,25,26,28,30,31,33,34,36,38,39,
%T A182770 41,42,44,45,47,49,50,52,53,55,57,58,60,61,63,65,66,68,69,71,72,74,76,
%U A182770 77,79,80,82,84,85,87,88,90,91,93,95,96,98,99,101,103,104,106,107,109
%N A182770 Beatty sequence for 3-sqrt(2).
%C A182770 Let u=1+sqrt(2) and v=sqrt(2). Jointly rank {ju} and {kv} as in the first comment at A182760; a(n) is the position of nv. A182770 is the complement of A182769.
%H A182770 Vincenzo Librandi, <a href="/A182770/b182770.txt">Table of n, a(n) for n = 1..10000</a>
%H A182770 <a href="/index/Be#Beatty">Index entries for sequences related to Beatty sequences</a>
%F A182770 a(n) = floor(n*(3-sqrt(2))).
%t A182770 Floor[Range[70](3-Sqrt[2])] (* _Harvey P. Dale_, Apr 21 2013 *)
%o A182770 (Magma) [Floor(n*(3-Sqrt(2))): n in [1..80]]; // _Vincenzo Librandi_, Oct 25 2011
%o A182770 (PARI) vector(100, n, floor(n*(3-sqrt(2)))) \\ _G. C. Greubel_, Aug 18 2018
%Y A182770 Cf. A182760, A182769.
%K A182770 nonn
%O A182770 1,2
%A A182770 _Clark Kimberling_, Nov 30 2010