a^3-2a^2+1>=0