OFFSET
1,1
LINKS
Thomas W. Cusick and Yuri L. Borissov, A refinement of Cusick-Cheon bound for the second order binary Reed-Muller code, Discrete Math. 310 (2010), no. 24, 3537--3543. MR2734734 (2011j:94188).
FORMULA
See Maple code.
MAPLE
f:=proc(n) add( 2^(h*(h+1)+1)*
mul( 2^(n-i)-1, i=0..2*h)/mul(2^(2*j)-1, j=1..h),
h=1..floor(n/2))+(2^(n+1)-2); end;
[seq(f(n), n=1..25)];
MATHEMATICA
f[n_] := Sum[2^(h(h+1)+1) Product[2^(n-i)-1, {i, 0, 2h}]/
Product[2^(2j)-1, {j, 1, h}], {h, 1, n/2}]+(2^(n+1)-2);
Array[f, 25] (* Jean-François Alcover, Mar 24 2021, after Maple code *)
CROSSREFS
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Jul 05 2014
STATUS
approved