Pi and proved it with formulae written in the sand by slaves. The series is accurate but no-one had (when I were young anyway) found a valid theorem for why the series worked.

I expect he was a better sand doodler than I a typist.