ultimate inequality by S. Gadeyne