(prod_(j=1)^k (2^p)