A tau function prime is a prime number of the form , where
is a positive integer
and
is the tau function. The values of
for which
is an odd prime number
begin with 63001, 458329, 942841, 966289, 1510441, ... (OEIS A135430).
The first was found by Lehmer (1965). The corresponding signed values of the tau
function begin with
,
, ... (OEIS A265913).
Lygeros and Rozier (2013) define Lehmer-Ramanujan numbers or LR numbers by for odd primes
and
.
If
is an odd prime number, then
is an odd square (Lygeros
and Rozier 2013).
Large values of
for which
was reported to be a prime number or probable
prime are summarized in the table below (Lifchitz and Lifchitz).
| decimal digits | discoverer | |
| 180524 | N. Lygeros and O. Rozier (May 2015) | |
| 258571 | N. Lygeros and O. Rozier (May 2015) | |
| 282048 | N. Lygeros and O. Rozier (May 2015) | |
| 498503 | N. Lygeros and O. Rozier (May 2015) | |
| 555339 | N. Lygeros and O. Rozier (Sep. 2015) |