cp's OEIS Frontend

A252461 Shift one instance of the smallest prime one step towards smaller primes: a(1) = 1, a(2n) = n, and for odd numbers > 1: a(n) = (n / prime(s)) * prime(s-1), where s = A055396(n), index of the smallest prime dividing n.

%I A252461 #23 Dec 23 2014 00:36:28
%S A252461 1,1,2,2,3,3,5,4,6,5,7,6,11,7,10,8,13,9,17,10,14,11,19,12,15,13,18,14,
%T A252461 23,15,29,16,22,17,21,18,31,19,26,20,37,21,41,22,30,23,43,24,35,25,34,
%U A252461 26,47,27,33,28,38,29,53,30,59,31,42,32,39,33,61,34,46,35,67,36,71,37,50,38,55,39,73,40,54,41,79,42
%N A252461 Shift one instance of the smallest prime one step towards smaller primes: a(1) = 1, a(2n) = n, and for odd numbers > 1: a(n) = (n / prime(s)) * prime(s-1), where s = A055396(n), index of the smallest prime dividing n.
%C A252461 Iterating from any n as a(n), a(a(n)), a(a(a(n))), etc. reaches 1 after A056239(n) iterations.
%C A252461 Even bisection gives the natural numbers A000027, the odd bisection from the third term onward is A129128: 2, 3, 5, 6, 7, 11, 10, ...
%H A252461 Antti Karttunen, <a href="/A252461/b252461.txt">Table of n, a(n) for n = 1..10000</a>
%F A252461 a(1) = 1; for n>1: a(n) = A008578(A055396(n)) * A032742(n). [Compare to the similar formula of A064989.]
%F A252461 Other identities. For all n >= 1:
%F A252461 a(2n) = n.
%F A252461 If n is odd, A001222(a(n)) = A001222(n).
%F A252461 If n is even, A001222(a(n)) = A001222(n) - 1.
%t A252461 a252461[n_Integer] := Block[{a008578, a032742, a055396, a},
%t A252461   a008578[x_] := If[x == 1, 1, Prime[x - 1]];
%t A252461   a032742[x_] := If[x == 1, 1, Divisors[x][[-2]]];
%t A252461   a055396[x_] := PrimePi[FactorInteger[x][[1]][[1]]];
%t A252461   a[1] = 1;
%t A252461   a[x_] := a008578[a055396[x]]*a032742[x];
%t A252461 Array[a, n]]; a252461[84] (* _Michael De Vlieger_, Dec 21 2014 *)
%o A252461 (Scheme) (define (A252461 n) (if (= 1 n) n (* (A008578 (A055396 n)) (A032742 n))))
%Y A252461 Variants: A252462, A252463.
%Y A252461 Bisections: A000027, A129128.
%Y A252461 Cf. A001222, A008578, A032742, A055396, A056239, A064989.
%K A252461 nonn
%O A252461 1,3
%A A252461 _Antti Karttunen_, Dec 20 2014