10001th prime: Difference between revisions