∑p=0nC2⁢p+1>0.