What methods one could use to prove inequalities IMO problems?
Off the top of your head, you might want to shout out that AM-GM inequality, Cauchy Schwarz inequality. Jensen's inequality are among the "hot" and popular methods that you would consider using to effectively prove the inequality hard IMO problem.