関数が周期的あるいは(0でない定数に対して)周期を持つとは、の任意の値に対して