[math-fun] Schinzel-Zassenhaus conjecture