已知函数y=acos(2x+派/3)-3,x属于〔0,派/2〕的最大值为4,求实数a的值