Question: How to produce that math proof with Maple?

February 28 2014 Markiyan Hirnyk 6123

1

How to prove  that there exists an integer number x s.t. x>0, x < 4*99! and x*(x+1) is divisible by 100! with Maple?
I know that was solved by C++ code.

Please Wait...