Author note — to cover (Higher)
Higher only. Pushing bounds through geometric formulas: area, volume, Pythagoras and trigonometry, bounding each input first, e.g. the greatest hypotenuse takes both upper bounds; keep pi exact. Assumes bounds-multiply-divide; whether something definitely fits lives on bounds-decision-problems. (N16)
Introduction
—coming soon—