Finish Braun Tree Insert Complexity Proof

Pretty ugly, but at least it works!