Let be a measure space. Let and . Prove that there exists a set with , such that .
The solution strategy is to use simple functions (common tactic for measure theory questions).
Let be a simple function such that .
Consider the set . Note that . Hence each nonzero value of can only be on a set of finite measure. Since has only finitely many values, .