Number of prime factors of 1+(n!)^2 (with multiplicity)