Question: How to produce that math proof with Maple?

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...