ジグザグはうそじゃないかな
下に凸な関数の和は下に凸と