用归纳法证明在 n>0 时 (3n)! > 3^n (n!)^3