Bukti bahwa 22/7 melebihi π

Hasil pembuktian matematis mengenai nilai bilangan rasional 22 7 lebih dari π (pi) telah ada sejak dahulu. Salah satu pembuktiannya, baru-baru ini dikembangkan namun hanya memerlukan teknik dasar dari kalkulus, berhasil menarik perhatian matematika modern karena keindahan dan koneksinya dengan teori Hampiran Diophantus. Stephen Lucas menyebut bukti ini sebagai "salah satu hasil menawan yang berkaitan dengan hampiran π ". Julian Havil mengakhiri diskusi mengenai penghampiran pecahan berlanjut dari π dengan hasil ini, menyebutnya sebagai "hal yang mustahil untuk tidak disinggung" pada konteks tersebut. Tujuan dari pembuktian ini bukanlah untuk meyakinkan pembaca kalau nilai 22 7 lebih dari π ; terdapat berbagai metode sistematis untuk menghitung nilai dari π . Jika seseorang mengetahui kalau π memiliki nilai sekitar 3.14159 , maka secara trivial, dapat disimpulkan kalau π < 22 7 , yakni sekitar 3.142857 . Dengan menggunakan metode pada pembuktian ini, menunjukkan π < 22 7 jauh lebih mudah dibandingkan menunjukkan nilai π itu sekitar 3.14159 .