OFFSET
1,1
COMMENTS
Conjecture: The sequence has infinitely many terms.
In 1996 G. Melfi proved that there are infinitely many positive integers q with q and q + 2 both practical.
As any practical number greater than 2 is a multiple of 4 or 6, when q > 2, q + 2 and q^2 + 2 are all practical, we must have q^2 + 2 == 0 (mod 6), hence q is not divisible by 3 and thus 4 | q and 6 | (q + 2), therefore q == 4 (mod 12).
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..2500
G. Melfi, On two conjectures about practical numbers, J. Number Theory 56 (1996) 205-210.
Zhi-Wei Sun, Conjectures on representations involving primes, in: M. B. Nathanson (ed.), Combinatorial and Additive Number Theory II: CANT, New York, NY, USA, 2015 and 2016, Springer Proc. in Math. & Stat., Vol. 220, Springer, New York, 2017.
EXAMPLE
a(1) = 2 since 2, 2 + 2 = 4 and 2^2 + 2 = 6 are all practical.
a(2) = 4 since 4, 4 + 2 = 6 and 4^2 + 2 = 18 are all practical.
MATHEMATICA
f[n_]:=f[n]=FactorInteger[n];
Pow[n_, i_]:=Pow[n, i]=Part[Part[f[n], i], 1]^(Part[Part[f[n], i], 2]);
Con[n_]:=Con[n]=Sum[If[Part[Part[f[n], s+1], 1]<=DivisorSigma[1, Product[Pow[n, i], {i, 1, s}]]+1, 0, 1], {s, 1, Length[f[n]]-1}];
pr[n_]:=pr[n]=n>0&&(n<3||Mod[n, 2]+Con[n]==0);
pq[n_]:=pq[n]=pr[n]&&pr[n+2]&&pr[n^2+2];
tab={}; Do[If[pq[k], tab=Append[tab, k]], {k, 1, 132000}]; Print[tab]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Oct 25 2017
STATUS
approved