Immediately after switching the page, it will work with CSR.
Please reload your browser to see how it works.
But even though the approximation has no value in a real world application, the description of getting to the approximation is really good. I've never heard of Pade approximations before, and I liked the lead in from small angle approximations and Taylor series. I'd say this post is accessible to (and can be appreciated by) advanced undergraduates in engineering or math or comp sci.
https://en.wikipedia.org/wiki/Gelfond%E2%80%93Schneider_theo...
Take sqrt(2)^sqrt(2), which is either rational or not. If it's rational, we're done. If not, consider sqrt(2) ^ (sqrt(2) ^ sqrt(2)). Since (a^b)^c = a^bc, we get sqrt(2) ^ (sqrt(2))^2 = sqrt(2)^2 = 2, which is rational!
It feels like a bit of a sleight of hand, since we don't actually have to know whether sqrt(2)^sqrt(2) is rational for the proof to work.