Vào những năm 1760, Johann Heinrich Lambert đã chứng minh rằng số π (pi) là vô tỷ: nghĩa là nó không thể được biểu thị dưới dạng phân số a/b, trong đó a là số nguyên và b là số nguyên khác không. Vào thế kỷ 19, Charles Hermite đã tìm thấy một chứng minh không đòi hỏi kiến thức tiên quyết nào ngoài vi tích phân cơ bản. Ba lần đơn giản hóa của chứng minh của Hermite là do Mary Cartwright, Ivan Niven và Nicolas Bourbaki. Một chứng minh khác, đó là sự đơn giản hóa chứng minh của Lambert, là do Miklós Laczkovich.Năm 1882, Ferdinand von Lindemann đã chứng minh rằng π không chỉ là số vô tỷ, mà còn là số siêu việt.[1]