函数y=cosx+√3sinx在区间[0,π/2]上的最小值为?