我有两个程序。

一个是 $O(\sum\limits^n_{k=0}C^k_nk)$

另一个是 $O(n2^n)$

我想证明后者是前者的2倍。