lehmers constant