WolframAlpha computational knowledge AI
prove by induction (3n)! > 3^n (n!)^3 for n>0