User blog comment:Wythagoras/Proof that TREE(n+1) divided by TREE(n) is strictly increasing/@comment-1605058-20141219203815

Wait, isn't 3rd tree embeddable into 5th and latter ones?