New bound for the first case of Fermat's last theorem

Authors:
Jonathan W. Tanner and Samuel S. Wagstaff

Journal:
Math. Comp. **53** (1989), 743-750

MSC:
Primary 11D41; Secondary 11Y50

DOI:
https://doi.org/10.1090/S0025-5718-1989-0982371-4

MathSciNet review:
982371

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We present an improvement to Gunderson's function, which gives a lower bound for the exponent in a possible counterexample to the first case of Fermat's "Last Theorem," assuming that the generalized Wieferich criterion is valid for the first *n* prime bases. The new function increases beyond , unlike Gunderson's, and it increases more swiftly. Using the recent extension of the Wieferich criterion to by Granville and Monagan, the first case of Fermat's "Last Theorem" is proved for all prime exponents below 156, 442, 236, 847, 241, 729.

**[1]**Andrew Granville and Michael B. Monagan,*The first case of Fermat’s last theorem is true for all prime exponents up to 714,591,416,091,389*, Trans. Amer. Math. Soc.**306**(1988), no. 1, 329–359. MR**927694**, https://doi.org/10.1090/S0002-9947-1988-0927694-5**[2]**Barkley Rosser,*On the first case of Fermat’s last theorem*, Bull. Amer. Math. Soc.**45**(1939), 636–640. MR**0000025**, https://doi.org/10.1090/S0002-9904-1939-07058-4**[3]**Norman G. Gunderson,*Derivation of Criteria for the First Case of Fermat's Last Theorem and the Combination of These Criteria to Produce a New Lower Bound for the Exponent*, Thesis, Cornell University, Sept., 1948.**[4]**D. H. Lehmer and Emma Lehmer,*On the first case of Fermat’s last theorem*, Bull. Amer. Math. Soc.**47**(1941), 139–142. MR**0003657**, https://doi.org/10.1090/S0002-9904-1941-07393-3**[5]**D. H. Lehmer,*The lattice points of an 𝑛-dimensional tetrahedron*, Duke Math. J.**7**(1940), 341–353. MR**0003013****[6]**D. H. Lehmer,*On the maxima and minima of Bernoulli polynomials*, Amer. Math. Monthly**47**(1940), 533–538. MR**0002378**, https://doi.org/10.2307/2303833**[7]**H. W. Lenstra Jr.,*Miller’s primality test*, Inform. Process. Lett.**8**(1979), no. 2, 86–88. MR**520273**, https://doi.org/10.1016/0020-0190(79)90149-2**[8]**Daniel Shanks and H. C. Williams,*Gunderson’s function in Fermat’s last theorem*, Math. Comp.**36**(1981), no. 153, 291–295. MR**595065**, https://doi.org/10.1090/S0025-5718-1981-0595065-7

Retrieve articles in *Mathematics of Computation*
with MSC:
11D41,
11Y50

Retrieve articles in all journals with MSC: 11D41, 11Y50

Additional Information

DOI:
https://doi.org/10.1090/S0025-5718-1989-0982371-4

Article copyright:
© Copyright 1989
American Mathematical Society