mは正、つまりm>0という条件が与えられてるから、関数f(m)の定義域はm>0
この定義域にxが含まれるかどうかで場合分けしてる