Properties of real numbers and bounds