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

After thinking about this for a while, I believe we can improve the bound by a lot more. I will write a blog post with the details.