1
vote
0answers
88 views

Bound a sum of a serie defined by a recursive integer function

I'm using a recursive function $f: \mathbb{N} \rightarrow \mathbb{N}$, that is defined as \begin{equation} f(n)=\lceil \log(f(n-1)) \rceil +f(n-1) \end{equation} where $f(1)=F\in \mathbb{N}$, and ...