Así que tengo la siguiente relación de recurrencia:
$$f(n) = f(n-1) + f(\lceil n/2\rceil)+ 1$$
Eso ya lo sé:
Si:
$$g(n) = g(n-1) + 1$$
$$g(n) = O(n)$$
Si:
$$g(n) = g(\lceil n/2\rceil) + 1$$
$$g(n) = O(\log(n))$$
Si:
$$g(n) = g(n-1) + g(\lceil n/2\rceil)$$
$$g(n) = O(nlog(n))$ )
Así puedo concluir definitivamente que:
$$f(n) = O(n \log(n) * n * \log(n)) = O(n^2 \log(n)^2)$$