We can write: A=n! 2n!4n!=(n3n)⋅3n+1 3n+2 … 4n−1⋅4n∈Z, since (n3n)∈Z.
Next we observe that in the prime factorization of n! the exponent of 2 is
expn=⌊2n⌋+⌊22n⌋+⋯+⌊2mn⌋,(2)
where m is the maximal natural number satisfying the inequality 2m≤n. Hence
expn≤2n+22n+⋯+2mn=2n(1+21+⋯+2m−11)=n−2mn.(3)
Similarly we find that:
exp2n=⌊22n⌋+⌊42n⌋+⋯+⌊2m+12n⌋=n+⌊2n⌋+⌊22n⌋+⋯+⌊2mn⌋=n+expn(4)
exp4n=⌊24n⌋+⌊224n⌋+⌊234n⌋+⋯+⌊2m+24n⌋=2n+n+⌊2n⌋+⌊22n⌋+⋯+⌊2mn⌋=3n+expn
Therefore the exponent of 2 in the factorization of A is
3n+expn−[expn+n+expn]=2n−expn≥2n−(n−2mn)=n+2mn≥n+1,
that is 2n+1 is a factor of A.
(Second solution)
We can write A=n!(2n+1)(2n+2)…(4n−1)(4n).
We observe that in the numerator we have n−1 even integers, from 2n+2 till 4n−2, that is we get 2 as a factor n−1 times. Moreover from 4n, we get the factor 2 two times and hence
A=2n+1n!n(n+1)(n+2)…(2n−1)⋅(2n+1)(2n+3)…(4n−1)
Since n!n(n+1)(n+2)…(2n−1)=(n−12n−1), we can write
A=2n+1(n−12n−1)⋅(2n+1)(2n+3)…(4n−1),
and hence A is integer divided by 2n+1.