[math-fun] Erdos-Strauss conjecture