User blog:Wythagoras/Proof that TREE(n+1)/TREE(n) is strictly increasing