Lambert's proof of the irrationality of π