Re: [math-fun] Schinzel-Zassenhaus conjecture