hafner-sarnak-mc curley constant