Metody důkazů algebraických nerovností - Šafařík, Petr (1989)