Hafner–Sarnak–McCurley constant

Hafner–Sarnak–McCurley constant