MathDB
ASU 511 All Soviet Union MO 1990 x^4 > x - 1/2

Source:

August 14, 2019
algebrainequalities

Problem Statement

Show that x4>x12x^4 > x - \frac12 for all real xx.