Let be the Riemann-Siegel function. The unique value such that
(1)
|
where , 1, ... is then known as a Gram point (Edwards 2001, pp. 125-126).
An excellent approximation for Gram point can be obtained by using the first few terms in the asymptotic expansion for and inverting to obtain
(2)
|
where is the Lambert W-function. This approximation gives as error of for , decreasing to by .
The following table gives the first few Gram points.
OEIS | ||
0 | A114857 | 17.8455995404 |
1 | A114858 | 23.1702827012 |
2 | 27.6701822178 | |
3 | 31.7179799547 | |
4 | 35.4671842971 | |
5 | 38.9992099640 | |
6 | 42.3635503920 | |
7 | 45.5930289815 | |
8 | 48.7107766217 | |
9 | 51.7338428133 | |
10 | 54.6752374468 |
The integers closest to these points are 18, 23, 28, 32, 35, 39, 42, 46, 49, 52, 55, 58, ... (OEIS A002505).
There is a unique point at which , given by the solution to the equation
(3)
|
and having numerical value
(4)
|
(OEIS A114893).
It is usually the case that . Values of for which this does not hold are , 134, 195, 211, 232, 254, 288, ... (OEIS A114856), the first two of which were found by Hutchinson (1925).