>>402の下から2行目：
よって、m≧N(a) のとき、1/a＜1/(b_{m+1})＜1/((b_{m+1})^{b_m})＜1 であって、(b_{m+1})^{b_m}＜a である
π＜a＜M(π)＝4 なる有理数aは任意であるから、a→π とすれば、(b_{m+1})^{b_m}≦π である
→ よって、m≧N(a) のとき、1/a＜1/(b_{m+1})＜1/((b_{m+1})^{1/(b_m}))＜1 であって、
(1/a)^{b_m}＜(1/b_{m+1})^{b_m}＜1 から (b_{m+1})^{b_m}＜a^{b_m} である
π＜a＜M(π)＝4 なる有理数aは任意であるから、
a→π とすれば、(b_{m+1})^{b_m}≦π^{b_m} であって、b_{m+1}≦π である
しかし、b_{m+1}≦π なることは π＜b_{m+1} なることに反し、矛盾する
この矛盾は、π^π を代数的数と仮定したことから生じたから、
背理法が適用出来て、背理法を適用すれば、π^π は超越数である