Let us check when 4≤x+x4. If x>0, then this inequality is equivalent to 4x≤x2+4 or 0≤(x−2)2. This is always true. If x<0, then we get 0≥(x−2)2. This is never the case, so 4≥x+x4. Hence,
min{4,x+x4}={4,x+x4,if x>0,if x<0.
For x>x1 and x>0 we get x2>1, so x>1. For x>x1 and x<0 we get x2<1, so −1<x<0. Hence,
min{x,x1}={x1,x,if x>1 or −1<x<0,if x≤−1 or 0<x≤1.
In the case of x>1 the given inequality is equivalent to 4≥x8, which implies x≥2. The inequality holds for all numbers x∈[2,∞). If 0<x≤1, then we have 4≥8x, so 21≥x. Thus, the inequality also holds for x∈(0,21].
Let −1<x<0. We get x+x4≥x8, or, equivalently, x≥x4. Multiplying by x yields x2≤4, and this holds for −1<x<0. The inequality holds for all x∈(−1,0).
Finally, let x≤−1. We get x+x4≥8x or 4≤7x2. Since x≤−1, we have x2≥1, so 7x2≥7>4. The inequality holds for all x∈(−∞,−1] as well.
We have shown that the given inequality holds for all x in (−∞,0)∪(0,21]∪[2,∞).