Man gebe explizit ein m {\displaystyle {}m} mit der Eigenschaft an, dass für alle n ≥ m {\displaystyle {}n\geq m} die Abschätzung
gilt.