函数f(x)=sin(x/2-派/4),x属于R的最小正周期为?