WolframAlpha 計算知能 AI
n>0 に対して (3n)! > 3^n (n!)^3 を数学的帰納法で証明