User blog comment:Ikosarakt1/Apocalyptic function/@comment-25418284-20130322220331/@comment-25418284-20130322225517

They didn't prove that it was the largest one, they just conjectured it. But it's good to see that others have also gotten our results.