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 A172476 #24 Mar 17 2025 22:15:11
%S A172476 0,0,0,1,1,2,2,2,3,3,4,4,4,5,5,6,6,6,7,7,8,8,8,9,9,10,10,11,11,11,12,
%T A172476 12,13,13,13,14,14,15,15,15,16,16,17,17,17,18,18,19,19,20,20,20,21,21,
%U A172476 22,22,22,23,23,24,24,24,25,25,26,26,26,27,27,28,28,28,29,29,30,30
%N A172476 a(n) = floor(n/sqrt(6)).
%H A172476 Vincenzo Librandi, <a href="/A172476/b172476.txt">Table of n, a(n) for n = 0..1000</a>
%H A172476 <a href="/index/Be#Beatty">Index entries for sequences related to Beatty sequences</a>
%t A172476 Table[Floor[n Sqrt[6]/6], {n, 0, 80}] (* _Vincenzo Librandi_, Aug 01 2013 *)
%o A172476 (Magma) [Floor(n*Sqrt(6)/6): n in [0..80]]; // _Vincenzo Librandi_, Aug 01 2013
%Y A172476 Cf. A022840: floor(n/(sqrt(6)/6)), Beatty sequence of A020763.
%Y A172476 Cf. A194986.
%K A172476 nonn,easy
%O A172476 0,6
%A A172476 _Vincenzo Librandi_, Feb 04 2010
%E A172476 Definition simplified by _N. J. A. Sloane_, Mar 11 2021