>>293

2^n = C[n,0] + C[n,1] + ・・・ + C[n,n] ≧ 2n (n≧1)