根号2sin(x π 4)大于等于几