Here's their method:<p>>First, calculate a numerical value for the point of interest. Second, conjecture a closed algebraic form for this number. Third, express the algebraic number as nested radicals. Finally, check the conjectured form with many digits of accuracy.<p>But this isn't a proof. It's just empirical evidence. At least it seems to me - I'm no mathematician.