Definition:Salem Constant

Theorem
The Salem constant is the greatest real root of Lehmer's polynomial:
 * $x^{10} + x^9 - x^7 - x^6 - x^5 - x^4 - x^3 + x + 1 = 0$

Its value is approximately:
 * $1 \cdotp 17628 \, 08182 \, 599 \ldots$

Also known as
The Salem constant is also known as Lehmer's constant, for, but there is already a constant with that name.