Sign conjecture. Then
Sign conjecture. At ∣α∣=122±3\lvert\alpha\rvert=\frac12\sqrt{2\pm\sqrt3}∣α∣=212±3,
Sign conjecture. The inequality