On Krasner's criteria for the first case of Fermat's last theorem (Q1080454)

The author uses an adaptation of Krasner's method [\textit{M. Krasner}, C. R. Acad. Sci., Paris 199, 256--258 (1934; Zbl 0010.00702)] to prove that if the first case of Fermat's last theorem is false for the prime \(p\), then \(p\) divides the numerator of the Bernoulli number \(B_{p-1-n}\) for all \(n\) between \(1\) and \([\sqrt{\log p/\log \log p}]\). This improves a result of \textit{Z. Šami} [Glas. Mat., III. Ser. 21(41), 259--269 (1986; Zbl 0621.10012)] who gives the same result for all \(n\) up to \([(\log p)^{2/5}]\).