On Fri, Dec 12, 2014 at 7:19 PM, Bill Gosper <billgosper@gmail.com> wrote:
On Fri, Dec 12, 2014 at 6:38 PM, Jon Borwein <jon.borwein@gmail.com> wrote:
I imagine it has been this way for 20 years! Did you try the advanced version?
J in cyberspace
Oh yes. Tons more batbleep, but now the 3rd hit is 9/8 1/(√π)²/9 .
Oops, I mean 9/8 1/9(√π)² .
--rwg
On 13 Dec 2014, at 1:28 pm, Bill Gosper <billgosper@gmail.com> wrote:
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