f fonksiyonunun (0,1)'de bir büzülme fonksiyonu olmadığını göstermek için
(∀K∈(0,1))(∃x∈(0,1))(∃a∈(0,1))(|f(x)−f(a)|>K|x−a|) önermesinin doğru olduğunu göstermeliyiz.
Bu bağlamda her K∈(0,1) için x=K∈(0,1) ve a=K2∈(0,1) seçilirse
|f(x)−f(a)|=|x2−a2|=|K2−(K2)2|=3K24>K22=K|K−K2|=K|x−a| koşulu sağlanır yani (∀K∈(0,1))(∃x∈(0,1))(∃a∈(0,1))(|f(x)−f(a)|>K|x−a|) önermesi doğru olur. Bu önermenin doğru olması ise f fonksiyonunun (0,1)'de büzülme fonksiyonu olmadığı anlamına gelir.