lehmer number