Because x2+1≥2x, we have 27(x2+1)7≥27(2x)7=x7,and2x2+1≥x, and deduce (x2+1)⋅(27(x2+1)6+21)=27(x2+1)7+2x2+1≥x7+x=x(x2+1)(x4−x2+1). Therefore 27(x2+1)6+21≥x5−x3+x and the equality holds when x=1.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.