凸計画問題において、局所最適解は大域最適解である。これは実はとても強い定理である。で、今考えているのは、この命題： φ：(0,1)上の有界な連続関数であって、次を満たす：このとき、φは(0,1)上で凸である。帰納法と演繹から、平均の取り方を2値からN値に…