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 A188511 #19 Jan 08 2025 10:21:24
%S A188511 0,0,1,2,2,3,4,4,5,6,7,7,8,9,9,10,11,11,12,13,14,14,15,16,16,17,18,18,
%T A188511 19,20,21,21,22,23,23,24,25,25,26,27,28,28,29,30,30,31,32,32,33,34,35,
%U A188511 35,36,37,37,38,39,39,40,41,42,42,43,44,44,45,46,46,47,48,49,49,50,51,51,52,53,53,54,55,56,56,57,58,58,59,60,60,61,62,63
%N A188511 a(n) = floor(7*n/10).
%H A188511 Paolo Xausa, <a href="/A188511/b188511.txt">Table of n, a(n) for n = 0..10000</a>
%H A188511 <a href="/index/Rec#order_11">Index entries for linear recurrences with constant coefficients</a>, signature (1,0,0,0,0,0,0,0,0,1,-1).
%p A188511 A188511:=n->floor(7*n/10); seq(A188511(n), n=0..100); # _Wesley Ivan Hurt_, Feb 02 2014
%t A188511 Table[Floor[7 n/10], {n, 0, 100}] (* _Wesley Ivan Hurt_, Feb 02 2014 *)
%o A188511 (PARI) a(n) = 7*n\10; \\ _Michel Marcus_, Feb 02 2014
%o A188511 (Magma) [Floor(7*n/10) : n in [0..80]]; // _Wesley Ivan Hurt_, Dec 02 2021
%Y A188511 Cf. A188512.
%K A188511 nonn
%O A188511 0,4
%A A188511 _N. J. A. Sloane_, Apr 02 2011