Limit[2^((n^2+n)/2)/Product[(2^i-1),{i,1,n}],n->∞]