今日も進みました。 特に、場合分けの半分ではありますが、 解の個数をexactに0個に決められた、というのが大きな進展。 結局、微分の力を借りちゃった。 3回微分までやって単調増加性を示せました。 場合分けのもう半分は単調増加ではない例が 数値計算的に…