Schinzel–Zassenhaus–Boyd conjecture on the house

Let $\alpha$ be an algebraic integer of degree $d$, with conjugates $\alpha=\alpha_1,\ldots,\alpha_d$, and define its house by

$$\lvert\alpha\rvert=\max_{1\leq i\leq d}\lvert\alpha_i\rvert.$$

Schinzel–Zassenhaus–Boyd conjecture. There is a constant $T>1$ such that if $\alpha$ is not a root of unity, then

$$\lvert\alpha\rvert\geq T^{1/d}.$$

This is the exponential form suggested by the table in the source and is presented there as a conjecture bearing the label SZB. The source gives no resolution status.