現在 ，讓我們考慮一個函數 ：
我們可以改變n ，得到{ F ' (x) sin x - F(x) cos x} 在0到π的論文理性范圍內的積分 ：
這里π = a/b。要么是系列π實際上不能寫成a/b。如果認為這是尼文理所當然的，
這些證明中 ，關于
首先假設π是π無一個有理數
現在 ，讓我們考慮一個函數 ：
我們可以改變n ，得到{ F ' (x) sin x - F(x) cos x} 在0到π的論文理性范圍內的積分 ：
這里π = a/b。要么是系列π實際上不能寫成a/b。如果認為這是尼文理所當然的，
這些證明中 ，關于
首先假設π是π無一個有理數