Another result from the "In order to be a perfect power, the expression must be 0 mod m. Factorials from m on will be 0 mod m, so 1!...(m1)! must be 0 mod m." part is that the resultant m^k must have certain limitations, up to n.
It can be proved by induction that 1!+2!+...n!<(n+1)! for all positive integers n. So if 1!+2!+...n!=m^k, then m^k=1!+...a! mod (a+1)!
For example,
m^k=1 mod 2,
m^k=(1+2) mod 6
m^k=(1+2+6) mod 24
Without finding an explicit formula for 1!+2!+...n!, it becomes hard to utilize this for larger n though.

Posted by Gamer
on 20070201 23:46:35 