2Power[x,2]-x≥0