On Robson's convergence and boundedness conjectures concerning the height of binary search trees
scientific article; zbMATH DE number 2132494