By January 1. 2026, proven exists a function f(x) such that 1) x log x = o(f(x)) 2) if N is an odd perfect number with k distinct prime factors, then log N > f(k).

Created by JoshuaZ on 2020-06-09; known on 2026-01-02