User blog comment:Wythagoras/TREE(n)/@comment-1605058-20130831182732

I believe Deedlit once mentioned bound comparable to tree_w^w(n), but I'm not exactly sure how he got it.