My doubts about Max Kelly having worked it out for himself stem from his
being basically a category theorist but, given other responses so far,
maybe he did.
Bob
>
> Dear Sam
>
>> 22/7 - pi = integral from 0 to 1 with respect to x of
>>
>> x^4[(1-x)^4]/1 + x^2,
>>
>> to which the author remarks
>>
>> Plus que d'un nombre remarquable,
>> il s'agit la d'une expression remarquable par sa syme'trie.
>>
>> I have never seen that expression before, and I have yet tp tru to
>> think of it.
>>
>> Do any of you know it?
>
>
> I first encountered it in my First Year Maths exam at Sydney Uni in 1960 as
> part of a 'guided proof' that 22/7 > pi. I doubt that my lecturer, Max Kelly,
> made it up but it puts a bound on the date of invention.
>
>
> Regards
> Bob
>
>
>
> PS I can't help you regarding the book
Bob Berghout, rfb@frey.newcastle.edu.au
Department of Mathematics, University of Newcastle 2308
Ph: (+61 2) 4921 5546 FAX: (+61 2) 4921 6898