3 Inequalities and ComputationsSection 3.1: Dyadic Rational NumbersSection 3.2: Product InequalitiesPowered by Spec