On a Fundamental Inequality in Number Theory