Functions

number of a prime factor in factorial.