>>921
c_0、c_nは共に非負実数と仮定して一般性をうしなわない。
α_k=exp(2πk/n) (k=1,・・・,n) とおく。
するとf(α_1)+・・・+f(α_n)=n(c_0+c_n)でその絶対値がn(c_0+c_n)ゆえ
f(α_k)のいづれかの絶対値はc_0+c_n以上。