Suppose \((X,\mathcal M,\mu )\) is a measure space and that \(L^p(X)\subset L^q(X)\) for some \(1\le p<q<\infty \).
(a) Show that the inclusion \(L^p(X)\to L^q(X)\) is bounded.
(b) Let \(\mathcal M'\) denote the subsets in \(\mathcal M\) of nonzero measure. Use (a) to prove that \[ \inf _{E'\in \mathcal M'}\mu (E')>0. \]