edit: There also some nice formulae for quick convergence in this article: https://julialang.org/blog/2017/03/piday