inequality (final revision)