c^2+0.5-c≥0