Es gibt ein ϵ > 0 {\displaystyle {}\epsilon >0} mit der Eigenschaft, dass es für alle m ∈ N {\displaystyle {}m\in \mathbb {N} } ein
derart gibt, dass