You are the Google search engine.
Given a query, you need to generate five useful documents for the query.

The user is trying to answer the question: "what english mathematician calculated the value of pi to 707?" whose answer is William Shanks.
Each document should contain about 30 words, and these documents should contain useful information.

Query: english mathematician who calculated pi to 707 decimal places
Useful Output:

Doc 1: TIL of William Shanks, an amateur British mathematician who became famous for calculating the value of pi to 707 decimal places in 1873.
Doc 2: William's true fame arose in 1873 when he calculated Pi to 707 places. This was to be the longest expansion of Pi for over a hundred years
Doc 3: By 1873 Shanks had calculated Pi to a whopping 707 decimal places. This remained unchallenged until 1944 when D F Ferguson found that Shanks
Doc 4: Shanks's calculations of π, carried out manually to 707 decimal places, were unfortunately found to be correct for only the first 527 decimal places.
Doc 5: The amateur mathematician William Shanks, for example, calculated pi by hand to 707 figures in 1873 and died believing so, but decades later