Dane są takie liczby całkowite oraz i że Wykazać, że jeżeli to
Rozwiązanie
Niech dla Udowodnimy, że dla każdego Bezpośrednie wymnożenie wskazuje, że dla Zatem
Ponieważ dla więc W efekcie co jest równoważne nierówności Ponieważ więc z zależności i związku otrzymujemy dla oraz dla W myśl określenia funkcji powyższe nierówności można zapisać w postaci dla oraz dla Stąd zaś, po wymnożeniu stronami i skorzystaniu z warunku (1), uzyskujemy