求f(x)=根号2/2sin(4x+π/4)在[0,π]上的最小值