a[n] == 1 + 2 a[n - 1], a[0] == 1