Expii

# Dirichlet's Approximation Theorem - Expii

Using the pigeonhole principle (a.k.a. Dirichlet box principle), Dirichlet proved a theorem letting us approximate real numbers by rationals, reasonably well.