I learned inequalities in high school but was never tested on it and can successfully solve many USAMO inequalities without background, but I thought it was finally time to dive into the theory to see how to take advantage of the technology to solve problems.

Presents the main inequalities that one encounters in maths olympiad curriculum with proofs and examples. The first is AM-GM inequality, then (weighted) Power mean inequality, Jensen inequality and Karamata's inequality.

Later is Muirhead, Schur and hopefully eventually Holder.