Resolución de inecuación