MathDB
(x^2 + 1)^6 /2^7 +1/2 x^5 - x^3 + x for x>=0

Source: 2014 Saudi Arabia Pre-TST 4.2

September 13, 2020
algebrainequalities

Problem Statement

Given x0x \ge 0, prove that (x2+1)627+12x5x3+x\frac{(x^2 + 1)^6}{2^7}+\frac12 \ge x^5 - x^3 + x