You know $\frac{a+b}{2} \ge \sqrt{ab}$ and go looking for it.
AM–GM holds for $n$ positive terms: their arithmetic mean is at least their geometric mean, with equality only when all are equal. It also applies pairwise, then combines.
Next time: Let the target's most complicated expression choose the substitution.