User blog comment:Ikosarakt1/Leading digits of googolgong factorial/@comment-5529393-20130316233046/@comment-5150073-20130317100448

Yes, and I am wonder to know more efficient methods than that (for calculate, say, leading digits of Skewes' numbers). I tried to find them, but came across the problem of calculating arbitrary bunch of digits of irrational number.