# Hafner–Sarnak–McCurley constant

Jump to navigation Jump to search

The Hafner–Sarnak–McCurley constant is a mathematical constant representing the probability that the determinants of two randomly chosen square integer matrices will be relatively prime. The probability depends on the matrix size, n, in accordance with the formula

${\displaystyle D(n)=\prod _{k=1}^{\infty }\left\{1-\left[1-\prod _{j=1}^{n}(1-p_{k}^{-j})\right]^{2}\right\},}$

where pk is the kth prime number. The constant is the limit of this expression as n approaches infinity. Its value is roughly 0.3532363719... (sequence A085849 in the OEIS).