Smallest integer k such that factorial(k) starts with the first n digits of Pi