OFFSET
1,1
COMMENTS
Numbers k > rad(k)^2 that are not perfect powers, where rad = A007947 is the squarefree kernel.
This sequence differs from A389752 since it is missing 144 = 12^2, 324 = 18^2, etc.
Let R(k) = {m*k : rad(m) | k} with squarefree composite k > 1 (k in A120944). This sequence intersects R(k) for m > k such that m*k is not a perfect power, i.e., m*k not in A001597 (or, equivalently, A131605).
If R(k,j) is the j-th smallest term in R(k), then R(k,j) with j <= A010846(k) is not in this sequence. Therefore, s in R(k,j) \ A001597, j > A010846(k) are the terms in this sequence with rad(s) = k. In this manner, this sequence is R(k,j) \ A001597, j > A010846(k), across squarefree composite k.
The number s = R(k, A010846(k)+1) is the smallest term in this sequence with rad(s) = k.
LINKS
Michael De Vlieger, Table of n, a(n) for n = 1..10000
EXAMPLE
A059404(1) = 12 is not a term since 12 < 36.
For numbers with squarefree kernel 6 (in R(6) = A033845), the smallest number with this quality is R(6,6) = 48 = 2^3 * 3^1 which has more than 1 distinct prime power factor exponent, thus, a(1) = 48.
For numbers with squarefree kernel 10 (in R(10) = A033846), the smallest number with this quality is 160 = 2^4 * 5^1, which has more than 1 distinct prime power factor exponent, thus, a(7) = 160 is the smallest number in this sequence that does not have squarefree kernel 6.
The number 36 = 6^2 is not a term since it is a perfect power and since it is the square of its squarefree kernel.
The number 144 = 12^2 is not a term since it is a perfect power.
MATHEMATICA
Select[Range[1500], And[! SquareFreeQ[#1], GCD @@ #2 == 1, #1/#3 > #3] & @@ {#1, #2[[;; , -1]], Times @@ #2[[;; , 1]]} & @@ {#, FactorInteger[#]} &]
CROSSREFS
KEYWORD
nonn
AUTHOR
Michael De Vlieger, Nov 11 2025
STATUS
approved
