Innumber theory, apseudoprime is called anelliptic pseudoprime for (E, P), whereE is anelliptic curve defined over thefield ofrational numbers withcomplex multiplication by anorder in, having equationy2 = x3 + ax + b witha,bintegers,P being a point onE andn anatural number such that theJacobi symbol (−d | n) = −1, if(n + 1)P ≡ 0 (modn).
The number of elliptic pseudoprimes less thanX is bounded above, for largeX, by