For a positive integer , is defined as the exponent of the largest power of that divides . For example, since so divides , but does not.
What is the value of ?
What is the value of ?
Let be the positive integer equal to . Determine the value of . (Note: If is a positive integer, represents the product of the integers from 1 to , inclusive. For example, .)
Given that and , determine all possible values of .
, 2016
Solution
Since , then is divisible by but is not divisible by . Thus, . First, we find all factors of 3 which exist in the product . The multiples of 3 are the only numbers which contain factors of 3. The multiples of 3 in the given product are 3, 6 and 9. Rewriting the given product, we get Since the product in parentheses does not include any factors of 3, then the largest power of 3 which divides the given product is , and so . First, we count the number of factors of 3 included in . Every multiple of 3 includes least 1 factor of 3. The product includes 33 multiples of 3 (since ). Counting one factor of 3 from each of the multiples of 3 (these are ), we see that includes at least 33 factors of 3. However, each multiple of includes a second factor of 3 (since , etc.) which was not counted in the previous 33 factors. The product includes 11 multiples of 9 (since ), and thus there are at least 11 additional factors of 3 in 100!. Similarly, includes 3 multiples of , each of which contribute an additional factor of 3 (these are , and ). Finally, there is one multiple of which contributes one more factor of 3. Since , then does not include any multiples of and so we have counted all possible factors of 3. Thus, includes exactly factors of 3, and so for some positive integer that is not divisible by 3. Counting in a similar way, the product includes 16 multiples of 3, 5 multiples of 9, and 1 multiple of 27, and thus includes factors of 3. Therefore, for some positive integer that is not divisible by 3. Also, includes factors of 3, and thus for some positive integer that is not divisible by 3. Therefore, . Since we are given that is equal to a positive integer, then is a positive integer. Since and contain no factors of 3 and is divisible by , then it must be the case that is divisible by . In other words, we can re-write as where is an integer. Since each of , and does not include any factors of 3, then the integer is not divisible by 3. Therefore, the largest power of 3 which divides is , and so . Since , then the exponent of the largest power of 3 that divides is 8. That is, for some positive integer and 3 does not divide . Since , then the exponent of the largest power of 3 that divides is 7. That is, for some positive integer and 3 does not divide . Substituting and simplifying, we get Since 3 divides but 3 does not divide , then 3 does not divide the sum . That is, is not a multiple of 3 and so the largest power of 3 that divides is . Therefore, .



