函数y=sin4x的最小正周期