La fórmula es una inecuación definida según: