Mueen Nawaz wrote:
>     Didn't look that up, but the first Skewes number was once believed 
> to be the largest number ever used in a proof (or for anywhere useful?):
> 
> http://en.wikipedia.org/wiki/Skewes_number

I believe that Graham's number is (significantly!) larger still and 
first appeared as a bound in a proof.  Hilariously, the lower bound was 6.

http://en.wikipedia.org/wiki/Graham%27s_number

Post a reply to this message