OFFSET
1,1
COMMENTS
The factorizations are 2, 3^2, (5^4)*(19^4), (7^6)*(193^6), (11^10)*(131^10), (13^12)*(197^12), (17^16)*(79^16). Since the squares of all odd primes greater than 3 are 1 mod 12, the refactorable a(n)-1 is divisible by 12 whenever n>=3.
FORMULA
a(n) is the first integer of the form (k*p)^(p-1) for some k such that a(n)-1 and a(n) are refactorable and the smallest prime divisor of a(n) is prime(n).
EXAMPLE
Simplest: a(2)=9=3^2 since tau(9)=3; 9-1=8=2^3 so tau(8)=4.
MAPLE
with(numtheory); RFC:=[[1, 2, 2]]: for w to 1 do for i from 2 to 12 do p:=ithprime(i); P:=[seq(ithprime(j), j=1..i-1)]; for k from 1 to 12^6 do if andmap(z -> k mod z <>0, P) then n:=(p*k)^(p-1); t:=tau(n); n1:=n-1; t1:=tau(n-1); if (n mod t = 0) and (n1 mod t1 = 0) then RFC:=[op(RFC), [k, p, n]]; print(ifactor(n)); break; fi fi od od od;
CROSSREFS
KEYWORD
nonn
AUTHOR
Walter Kehowski, Jun 20 2006
STATUS
approved