min(a+b,c) ≦ min(a,c)+min(b,c)
を場合分け以外でエレガントに示す方法ってありますか?