He reducido este problema (gracias @Mhenni) a lo siguiente (que hay que demostrar):
n∏k=1Γ(3k)Γ(k2)2kΓ(3k2)Γ(2k)=n∏k=12k(1+k)Γ(k)Γ(3(1+k)2)(1+3k)Γ(2k)Γ(3+k2).n∏k=1Γ(3k)Γ(k2)2kΓ(3k2)Γ(2k)=n∏k=12k(1+k)Γ(k)Γ(3(1+k)2)(1+3k)Γ(2k)Γ(3+k2).
Como ves es todo un lío. Esperemos que se pueda aplicar alguna gamificación y anular algunas cosas. He evaluado ambos productos para números grandes y conozca que la identidad es verdadera, sólo necesito aprender a manipular esos gammas.