On the dimension of trees

We consider isometric embedding of trees into the infinite graph image whose vertices are the image-dimensional lattice points where two vertices image and image are adjacent if and only if image for image. Linial, London, and Rabinovich have shown that this can be done with image, where image is the number of leaves. In this note, we sketch a proof that image.