Como "M" es supremo por "f", tenemos que "M" – 1/"n" < "f"("d") ≤ "M" para todo "n" natural.