An improved bound on the maximum agreement subtree problem

We improve the lower bound on the extremal version of the maximum agreement subtree problem. Namely we prove that two binary trees on the same n leaves have subtrees with the same ≥ c log log n leaves which are homeomorphic, such that homeomorphism is the identity on the leaves.