I've seen various fast algorithms for computing the first few, or directly the $n$-th, digits of $\pi$. However, it seems to me that all these algorithms assume (see last sentence here) that there are no very long carries in the computation, which I'm sure would follow from certain conjectures in number theory, but are not proven yet. So my question is:
What is the best known $F(n)$ for which the first $n$ digits of $\pi$ can be computed in $F(n)$ steps?
As was pointed by Arno in a comment, some computable $F(n)$ needs to exist, but I would like a specific bound. Of course, if anyone has a polynomial bound on $F(n)$, that would be best.