The Liouville function is defined by and , if the prime factorization of is (where each is positive). This function is completely multiplicative and satisfies the identity