A p < q páratlan prímek az n! prímtényezős felpontásában azonos kitevőn szerepelnek. Igazoljuk, hogy ekkor n < p(p+1)/2.