prod_n=1^25 n^n