==> analysis/tower.p <==
R = N ^ (N ^ (N ^ ...)).  What is the maximum N>0 that will yield a finite R?