The set of terms involving these constants with degree five (see section 7) are as follows: . When is augmented with this set of terms, all computed to 135 decimal digits accuracy, and the resulting 9-long vector is input to the PSLQ algorithm, it detects the relation , at iteration 390. Solving this relation for , we obtain the formula

(recall that ).
Annotation Form Interface

          Your name: 
     E-Mail address: 
 Annotation Subject: 
        Related URL: