Zauważmy, że z własności funkcji wynika prawdziwość dwóch nierówności:

Po wymnożeniu tych nierówności stronami otrzymujemy tezę.

Pál Erdős [Ann. of Math. (2) 47 (1946), ] wykazał, że funkcja spełniająca podane warunki musi być postaci dla pewnego