(>>401-402 の続き)
m→+∞ とすれば b_{m+1}→π かつ m→+∞ とすれば b_m→π であるから、
m≧N(a) なる正の整数mについて m→∞ とすれば (b_{m+1})^{b_m}→π^π であって π^π≦π を得る
しかし、π^π≦π なることは π^π＞π なることに反し矛盾する
この矛盾は、π^π を代数的数と仮定したことから生じたから、
背理法が適用出来て、背理法を適用すれば、π^π は超越数である