Definition:Lehmer's Constant

Definition
Let the sequence $\sequence {b_k}_{k \mathop \in \N}$ be defined by the recurrence relation:

Lehmer's constant is the real number $\xi$ defined as:

Also see

 * Definition:Salem Constant (for ), also seen referred to as Lehmer's constant, otherwise unrelated to this.