The other side of the inequality is much harder to derive. The following theorem is essential to our proofs. This result ensures that, using fibre measures is enough to provide sharp lower bound of the dimension. The proof follows [1]}, see also [2]}, [3]}.
