Write the composite number as , with . If , both and occur as distinct factors of the factorial , so their product divides that factorial.
If , then and implies . Both and are distinct factors in , because . Their product is , so again divides the factorial. Hence
The exception matters: its factorial is not divisible by . This argument handles perfect squares without incorrectly counting the same factor twice.

Articles by others on the same topic (0)

There are currently no matching articles.