この日は午前中、トイレに入っている時にちょうど呼び鈴が鳴って、誰かが何かの配達に来ていたようでしたが出られませんでした。その後電話がかかってきて、どうやらFedExだったらしく月曜以後に配達したいということだったので、月曜日の午後2時以後に配達に来てもらうことにしました。ブラザーのプリンターの代替機を普通ならこの日に受け取れたわけで、かなり早い対応だったということになりますね。
なお、予想の証明をずっと考えていたのですが、危点（あるいは極小点）の位置が実軸上に限ることを直接示すのはあきらめて、とにかく最大値が実軸で取られることを示すというように方針転換してみると、Weitsmanの定理を援用することにより、このことが示せることが分かりました。これで、とりあえず実軸上だけで考えれば良いという風にreduceできました。