The top documents tagged [compound inequalityinvolving]