単調増加な正実数列 によって定義される関数 は Monge であることを示せ。 てんぷらによる証明 https://x.com/tempuracpp/status/1854498278190285099 区間の平均値 を定義すると、 である。 \begin{align} & & f(l _ 0, r _ 0) + f(l _ 1 , r _ 1) & \leq f…