User blog comment:Wythagoras/A far better bound for TREE(3)/@comment-5529393-20140623044959/@comment-10429372-20140623055947

That would be cool!