Solution 1. Consider a positive integer n with n!+1∣(2012n) !. It is well-known that for arbitrary nonnegative integers a1,…,ak, the number (a1+…+ak) ! is divisible by a1!⋅…⋅ak!. (The number of sequences consisting of a1 digits 1,…,ak digits k, is a1!……ak!(a1+…+ak)!.) In particular, (n!)2012 divides (2012n)!. Since n!+1 is co-prime with (n!)2012, their product (n!+1)(n!)2012 also divides (2012n) !, and therefore (n!+1)⋅(n!)2012≤(2012n)! By the known inequalities (en+1)n<n!≤nn, we get (en)2013n<(n!)2013<(n!+1)⋅(n!)2012≤(2012n)!<(2012n)2012n Therefore, n<20122012e2013. Therefore, there are only finitely many such integers n. Solution 2. Assume that n>2012 is an integer with n!+1∣(2012n) !. Notice that all prime divisors of n!+1 are greater than n, and all prime divisors of (2012n)! are smaller than 2012n. Consider a prime p with n<p<2012n. Among 1,2,…,2012n there are [p2012n]<2012 numbers divisible by p; by p2>n2>2012n, none of them is divisible by p2. Therefore, the exponent of p in the prime factorization of (2012n) ! is at most 2011. Hence, n!+1=gcd(n!+1,(2012n)!)<∏n<p<2012pp2011. Applying the inequality ∏p≤Xp<4X, n!<n<p<2012p∏p2011<(p<2012n∏p)2011<(42012n)2011=(42012⋅2011)n Again, we have a factorial on the left-and side and a geometric progression on the right-hand side.