double[] arrei = new double[(int)n_fattoriale];
se sei sicuro che il cast non produca perdita di precisione