Wolfram|Alpha

Computing...

Input interpretation:

prove | (3 n)!>3^n (n!)^3 | method | mathematical induction\nassuming | n>0


Result:

(3 n)!>3^n (n!)^3 for n>0 and n element Z

ComputingComputing...