0<α<β
連続関数f(x)が任意の実数xで
f(α-x)=f(α+x), f(β-x)=f(β+x),f(α)<f(β)を満たすとき
f(α)<f(γ)<f(β),f(γ)=f(x)を満たすxが0<x<βでつねに2n個(n∈ℕ)存在するならばβ=(k+1)α (∃k∈ℕ)である

これってあっとるんか??