How can a proof ever give a strange-looking bound like ? This is a good question, and getting to know the answer to it for this and other bounds is an important part of the know-how of mathematicians who deal with estimates. Here are links to articles that discuss how various different functions can occur as the end results of proofs. This article is closely related to an article about what a lower bound can say about potential proofs of the upper bound.