Formulated obtained inequality.