The maple package botema that proves the inequality