Von: rwg@SWEATHOUSE.macsyma.com
Gesendet: Montag, 6. Oktober 1997 02:00
Betreff: furthermore (Polya and Szego imitation)

Empirically, the left half of the identity I just sent works
for half-integer k as well, i.e., for integer k,

     inf       k atan(t)
    /    floor(---------)
    [             %pi          (k - 2) (k - 1)
    I    ---------------- dt = --------------- .
    ]            3                   12
    /           t
     0

In particular, we have the Putnamish
         
          inf       5 atan(t)
         /    floor(---------)
         [             %pi
         I    ---------------- dt = 1 .
         ]            3
         /           t
          0