問題文 codeforces.com

問題文 codeforces.com 考察 離散的な関数$f$に対して、以下のような定理が成り立つ。 $$f'(x) \le \frac{f(b)-f(a)}{b-a} \le f'(y)$$ を満たす整数$a\le x,y \lt b$が存在する。ただし$f'(x)=f(x+1)-f(x)$とする。 この定理の系として以下のものが導ける。…