Quinn et al. (2007) investigated a class of  coupled oscillators whose bifurcation phase offset had a conjectured
 asymptotic behavior of 
,
 with an experimental estimate for the constant 
 as 
 (OEIS A131329).
 Rather amazingly, Bailey et al. (2007) were able to find a closed form for
 
 as the unique root of 
 in the interval 
, where 
 is a Hurwitz zeta
 function.
A related constant conjectured by Quinn et al. (2007) to exist was defined in terms of
| 
 
(1)
 
 | 
and given by
| 
 
(2)
 
 | 
(OEIS A131330). Even more amazingly, the exact value of this constant was also found by Bailey et al. (2007) without full proof, but with enough to indicate that such a proof could in principle be constructed, to have the exact value
| 
 
(3)
 
 |