满足sin(x-π/4)大于等于1/2的x的集合