Added alternative form of inequality