Μεθοδολογία απόδειξης ανισοτήτων