R上の連続関数f(x)が定数関数でない周期関数なら
正の最小の周期が存在し、他の周期はその整数倍になることを示せ

これって正の最小の周期が存在しないことを仮定して矛盾導けば良いのかな?