Let $G$ be a connected reductive group defined over $Q_p$. The set of crystals contained in a given $G$-isocrystal is viewed from a Bruhat-Tits building-theoretic vantage point as a kind of tubular neighborhood of a skeleton characterized by a minimality property arising from metric space theory. To illustrate this approach, we prove the Mazur inequality.