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