login
Sum_{floor(j*(5-sqrt(3))/2) : 1<=j<=n}; n-th partial sum of Beatty sequence for (5-sqrt(3))/2.
0

%I #8 Jun 09 2023 08:16:04

%S 1,4,8,14,22,31,42,55,69,85,102,121,142,164,188,214,241,270,301,333,

%T 367,402,439,478,518,560,604,649,696,745,795,847,900,955,1012,1070,

%U 1130,1192,1255,1320,1386,1454,1524,1595,1668,1743,1819,1897,1977

%N Sum_{floor(j*(5-sqrt(3))/2) : 1<=j<=n}; n-th partial sum of Beatty sequence for (5-sqrt(3))/2.

%t c[n_] := Sum[Floor[j*(5-Sqrt[3])/2], {j, 1, n}];

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

%Y Cf. A182772 (Beatty sequence for (5-sqrt(3))/2).

%K nonn

%O 1,2

%A _Clark Kimberling_, Aug 17 2011