login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A357315
Numbers m such that for all k < m, at least one of m*k - 1 and m*k + 1 is squarefree.
1
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 24, 30, 32, 36, 42, 44, 48, 50, 52, 54, 56, 62, 64, 66, 70, 72, 78, 84, 90, 96, 126, 132, 140, 144, 150, 156, 168, 180, 198, 210, 216, 228, 240, 246, 264, 270, 360, 378, 390, 414, 420, 450, 510, 546, 630, 780, 840, 1230, 1470, 1680, 5250
OFFSET
1,2
COMMENTS
Conjecture: this sequence is finite.
a(70) > 2*10^7, if it exists. - Giovanni Resta, Oct 20 2022
LINKS
EXAMPLE
11 is not in this sequence because 11*5-1=54, 11*5+1=56 are both squareful numbers and 11*9-1=98, 11*9+1=100 are both squareful numbers.
MATHEMATICA
q[n_] := AllTrue[Range[n - 1]*n, SquareFreeQ[# - 1] || SquareFreeQ[# + 1] &]; Select[Range[2000], q] (* Amiram Eldar, Oct 20 2022 *)
PROG
(Magma) [n: n in [1..2000] | #[k: k in [1..n-1] | not IsSquarefree(n*k-1) and not IsSquarefree(n*k+1)] eq 0];
(PARI) isok(m) = for (k=1, m-1, if (!issquarefree(m*k - 1) && !issquarefree(m*k + 1), return(0)); ); return(1); \\ Michel Marcus, Oct 20 2022
CROSSREFS
KEYWORD
nonn
AUTHOR
EXTENSIONS
Name edited by Thomas Scheuerle, Oct 20 2022
a(69) from Amiram Eldar, Oct 20 2022
STATUS
approved