証明が一歩前進

ここ５日（もっと長い？)をかけていた証明のワンステップがどうにか前進。証明方針もかなりの変更をして、なんとかできるようになった。

基本的には、
1. Level Set が有界
2. 強双対定理
の組合せ。
やはり、この２点は証明の強力な道具である。

短期目標：もう一か所の証明を今週中に
今日の作業内容：証明検討 3h
今日のランチ：シッダルータ キーマカレー
明日の予測作業時間：3h