On Sat, Jan 1, 2011 at 10:01 AM, Robert Jasiek <jasiek at snafu.de> wrote: > On 01.01.2011 15:08, Álvaro Begué wrote: >> If you don't trust John's numbers > > It is not about trust but about taking time for understanding his proofs. But you certainly can take the time to write the program I suggested...