En 1761 (o bien 1766), Lambert probó la irracionalidad del número π.