Global variable
MAX_ORD
Default value: 5
MAX_ORD is the maximum recurrence order attempted by Zeilberger.
Zeilberger