Lenstra–Pomerance–Wagstaff conjecture