\sum_{i=0}^{29} 2^i.\,