User blog comment:Wythagoras/A good bound for S(7)?/@comment-3427444-20140312073310/@comment-1605058-20140312145250

Impressive. Truly impressive.