2的n次方数列长度的公式是什么?这个公式怎样推导?