12 Dec
2014
12 Dec
'14
7:28 p.m.
I unwittingly gave it .39269908169872415480783042290994 == N[π/8, 32] and got three answers: Best guess: sol of (1-tan(x))/log(x) sol of (1-tan(x))/log(x) 3926990816987241 sol of cos(x)/(W(x)+exp(x)) sum(1/(16*n^2-16*n+3),n=1..inf) <http://oldweb.cecm.sfu.ca/projects/ISC/ISCmain.html> I just realized that the first two are satisfied by 10π/8. And would remain so without those exotic denominators. Looks like they need to hire Rob Munafo. --rwg