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

%I #7 Feb 27 2023 08:07:31

%S 3,10,21,35,53,75,101,130,163,200,241,285,333,385,440,499,562,629,699,

%T 773,851,933,1018,1107,1200,1297,1397,1501,1609,1720,1835,1954,2077,

%U 2203,2333,2467,2605,2746,2891,3040,3193,3349,3509,3673,3840,4011

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

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

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

%Y Cf. A003512 (Beatty sequence for 2+sqrt(3)).

%K nonn

%O 1,1

%A _Clark Kimberling_, Aug 17 2011