Lehmer's constant