where are rational numbers? Indeed it does. Such a formula can
be found by separating the right hand side of the above expression
into eight summations, numerically evaluating these to high precision,
appending the numerical value of , and applying PSLQ to the
resulting 9-long vector. When this is done, PSLQ discovers the
following formula: