Roger Hui wrote: > Thanks. I'll incorporate the ideas into the essay. > > Do you have a proof that potential witnesses are > limited for y in a smaller range?
There is a whole set of results in: Gerhard Jaeschke, On strong pseudoprimes to several bases, Mathematics of Computation 61 (1993), no. 204, pp. 915926. They are discussed in detail in P. Ribenboim, The new book of prime number records, 3rd edition, Springer-Verlag, 1995. Unless you really want to get into it, the most useful summary is http://primes.utm.edu/prove/prove2_3.html There are a lot of alternatives based on the range you want. Best wishes, John ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
