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: