A245798 - OEIS

%I #33 Jan 23 2016 21:51:10

%S 1,1,2,4,12,36,120,360,960,3840,13824,41472,152064,506880,2280960,

%T 7983360,29937600,99792000,266112000,1197504000,4790016000,

%U 19160064000,73156608000,219469824000,1009561190400,3533464166400,12563428147200,54441521971200,155547205632000

%N Catalan number analogs for totienomial coefficients (A238453).

%C One definition of the Catalan numbers is binomial(2*n,n) / (n+1); the current sequence models this definition using the generalized binomial coefficients arising from Euler's totient function (A000010).

%C When the INTEGERS (2014) paper was written it was not known that this was an integral sequence (see the final paragraph of that paper). However, it is now known to be integral.

%C Another name could be phi-Catalan numbers. - _Tom Edgar_, Mar 29 2015

%H Tom Edgar, <a href="/A245798/b245798.txt">Table of n, a(n) for n = 0..28</a>

%H Tom Edgar, <a href="http://www.emis.de/journals/INTEGERS/papers/o62/o62.Abstract.html">Totienomial Coefficients</a>, INTEGERS, 14 (2014), #A62.

%H Tom Edgar and Michael Z. Spivey, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL19/Edgar/edgar3.html">Multiplicative functions, generalized binomial coefficients, and generalized Catalan numbers</a>, Journal of Integer Sequences, Vol. 19 (2016), Article 16.1.6.

%F a(n) = A238453(2*n,n) / A000010(n+1).

%e We see that A238453(10,5) = 72 and A000010(5+1) = 2, so a(5) = (1/2)*72 = 36.

%o (Sage)

%o [(1/euler_phi(n+1))*prod(euler_phi(i) for i in [1..2*n])/prod(euler_phi(i) for i in [1..n])^2 for n in [0..100]]

%Y Cf. A000010, A238453, A000108, A001088.

%K nonn

%O 0,3

%A _Tom Edgar_, Aug 22 2014