If X,Y, Z are finite sets of selfadjoint elements in a tracial von Neumann algebra and X generates a hyperfinite von Neumann algebra, then δ0(X ∪Y ∪Z) ≤ δ0(X ∪Y )+δ0(X ∪Z)−δ0(X). We draw several corollaries from this inequality. In [9] Voiculescu describes the role of entropy in free probability. He discusses several problems in the area, one of which is the free entropy dimension problem. Free...