y=cos4x+1 求最小正周期