Konstruktiv beweisen. Existenzquantoren

Question

Für beliebige positive rationale Zahlen q und ε gibt es zwei natürliche Zahlen n und m so, dass q < n · 2^−m < q + ε gilt

Beweisen Sie konstruktiv, dass der Satz wahr ist