Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Assume the abc conjecture. Then for each fixed integer k≥0k\ge0 there are only finitely many powerful numbers xx with ∣x−n!∣≤k|x-n!|\le k for some nn (Theorem 4.1 of D. Cushing and J. E. Pascoe, Powerful numbers and the ABC-conjecture, arXiv:1611.01192, posted 2016-11-03). Taking k=1k=1, the numbers n!+1n!+1 and n!−1n!-1 are powerful for only finitely many nn, which is the second question of Problem 936. The source card is cushing_2016_powerful_numbers_abc_conjecture.

Proof as written. Lemma 4.2 proves the case k=0k=0, that n!n! is powerful only finitely often, from Bertrand's postulate, and Lemma 4.3 proves the half of Theorem 4.1 for numbers n!+kn!+k. The other half, for numbers n!−kn!-k, is left to the reader as Exercise 4.4, so the conditional answer for n!−1n!-1 rests on that exercise.

Hypothesis. The abc conjecture: for every ϵ>0\epsilon>0 there is a constant KϵK_\epsilon such that coprime positive integers a+b=ca+b=c satisfy c<Kϵrad⁡(abc)1+ϵc<K_\epsilon\operatorname{rad}(abc)^{1+\epsilon}. It is unproved, so the claim gives no unconditional answer and settles no standing of the problem.

Depends on. No other wiki page; the claim rests on the cited preprint and the hypothesis stated above.

Acceptance. None. The paper is an arXiv preprint with no journal version found, and the site labels the problem OPEN, so the site's commentary crediting the paper is not acceptance.