The isodiametric inequality is not available in general metric spaces. The proof of Eilenberg's inequality in the general case is quite involved and requires the notion of the so-called weighted integrals.
There is no isodiametric inequality in every metric space. Proving Eilenberg's inequality generally requires the concept of weighted integrals, which makes the proof intricate.