Is it possible to get symbolic expression for recursive function? In particular I am checking if a symbolic expression is possible (i.e. f[n]) for the following code:

```
f[x_] := If[x > 1, 2*f[x - 1] + 1, 1]
f[#] & /@ {1, 2, 3, 4, 5, 6, 7, 8, 9}

```

> 
> f[#] & /@ {1, 2, 3, 4, 5, 6, 7, 8, 9}
> 
> 
> 

I tried using `Nest[]`, but I suppose it is not applicable in this case, as it works for numeric depth.