login
Sum{floor(j*(-1+sqrt(6))) : 1<=j<=n}; n-th partial sum of Beatty sequence for -1+sqrt(6).
0

%I #9 Feb 27 2023 08:09:44

%S 1,3,7,12,19,27,37,48,61,75,90,107,125,145,166,189,213,239,266,294,

%T 324,355,388,422,458,495,534,574,616,659,703,749,796,845,895,947,1000,

%U 1055,1111,1168,1227,1287,1349,1412,1477,1543,1611,1680,1751,1823

%N Sum{floor(j*(-1+sqrt(6))) : 1<=j<=n}; n-th partial sum of Beatty sequence for -1+sqrt(6).

%t c[n_] := Sum[Floor[j*(-1+Sqrt[6])], {j, 1, n}];

%t c = Table[c[n], {n, 1, 90}]

%t Accumulate[Floor[(Sqrt[6]-1)Range[50]]] (* _Harvey P. Dale_, Sep 21 2021 *)

%Y Cf. A194145 (Beatty sequence for -1+sqrt(6).

%K nonn

%O 1,2

%A _Clark Kimberling_, Aug 17 2011