Nassim Nicholas Taleb @nntaleb
Brilliant! Looks like @_KartikMenon rediscovered a proof for a version of Ramanujan Nested Log-Trigonometric Integrals (partial nesting). See (second screenshot) two major tricks with cos(t)=sqrt(\frac{log(cos x)^2)}{...}_ and cos(t/n)= sqrt(\frac{1}{2}+\frac{1}{2}..... cos(t). https://t.co/CRIfJ7UxIF — PolitiTweet.org
