The basic inequality, Cauchy inequality, Tchebychef inequality, Holder inequality, and Lyapunov inequality are all equivalent to the simple idea that a squared number is always greater than or equal to zero, for any real number. This is true as long as the set of rational numbers is closed and equals the set of real numbers.