Least number principle

Redirect to:

• Induction, bounding and least number principles