lehmer's constant