%I #7 Aug 05 2023 21:32:50
%S 1,1,2,1,6,2,12,3,10,2,12,2,420,60,24,3,90,10,420,42,660,60,360,30,
%T 3276,252,56,4,120,8,3696,231,3570,210,36,2,103740,5460,840,42,13860,
%U 660,27720,1260,19320,840,5040,210,198900,7956,10296,396,11880,440,6384,228
%N a(n) = (Product_{k=1..pi(n+1)} prime(k)^floor(n/(prime(k)-1) ) )/(n+1)!.
%C Motivated by Proposition 3.2, p. 10 of the Bedhouche-Farhi paper.
%C Observations regarding prime power decomposition of terms in a(0..20737):
%C For n > 300, most terms are in A361098 but not in A286708. A303606 is a subset of A286708, which is a subset of A361098, which in turn is a subset of A126706, numbers that are neither prime powers nor squarefree.
%C a(34) = 36 is the only term in A286708 (more specifically, in A303606).
%C a(35) = 2 is the last prime term.
%C a(29) = 8 is the only composite prime power.
%C a(190) = 221760 is the last term in A002182, but a(61) = a(102) = 720720 is the largest.
%C a(191) = 2310 is the last primorial term.
%C a(1055) = 2207550414530882190 is the last squarefree term. If there are further squarefree terms a(n), n is likely to belong to -1 (mod 24).
%C a(7055) = 1733187515208453605856007490304335826298500960 is the last term that is not in A361098. a(n) not in A361098 is likely to belong to -1 (mod 24).
%H Michael De Vlieger, <a href="/A363596/b363596.txt">Table of n, a(n) for n = 0..10000</a>
%H Abdelmalek Bedhouche and Bakir Farhi, <a href="https://arxiv.org/abs/2207.07957">On some products taken over the prime numbers</a>, arXiv:2207.07957 [math.NT], 2022. See p. 10.
%H Michael De Vlieger, <a href="/A363596/a363596.png">Log log scatterplot of a(n+1)</a>, n = 0..10^4.
%H Michael De Vlieger, <a href="/A363596/a363596_1.png">Plot p(k)^e(k) | a(n) at (x, y) = (n, k)</a>, n = 0..2^11, with a color function representing e(k), where black = 1, red = 2, and the largest exponent in the dataset shown in magenta. The bar at bottom shows the number 1 in black, primes in red, composite prime powers in gold, squarefree terms in green, and terms that are neither squarefree nor prime powers in blue.
%F a(n) = A091137(n)/(n+1)!.
%e The table below relates b(n) = A091137(n) to a(n), with (n+1)!*a(n) = k!*m = b(n), where k! is the largest factorial that divides b(n).
%e n A067255(b(n)) (n+1)!*a(n) k! * m
%e ---------------------------------------
%e 0 0 1! * 1 1! * 1
%e 1 1 2! * 1 2! * 1
%e 2 2.1 3! * 2 3! * 2
%e 3 3.1 4! * 1 4! * 1
%e 4 4.2.1 5! * 6 6! * 1
%e 5 5.2.1 6! * 2 6! * 2
%e 6 6.3.1.1 7! * 12 7! * 12
%e 7 7.3.1.1 8! * 3 8! * 3
%e 8 8.4.2.1 9! * 10 10! * 1
%e 9 9.4.2.1 10! * 2 10! * 2
%e 10 10.5.2.1.1 11! * 12 12! * 1
%e 11 11.5.2.1.1 12! * 2 12! * 2
%e 12 12.6.3.2.1.1 13! * 420 15! * 2
%e 13 13.6.3.2.1.1 14! * 60 15! * 4
%e 14 14.7.3.2.1.1 15! * 24 15! * 24
%e 15 15.7.3.2.1.1 16! * 3 16! * 3
%e 16 16.8.4.2.1.1.1 17! * 90 18! * 5
%e ...
%t Table[j = 1; ( Times @@ Reap[While[Sow[#^Floor[n/(# - 1)]] &[Prime[j]] > 1, j++]][[-1, 1]] )/Factorial[n + 1], {n, 0, 60}]
%Y Cf. A000142, A000720, A091137, A361098.
%K nonn,easy
%O 0,3
%A _Michael De Vlieger_, Aug 03 2023