theorem
  seq is increasing & not seq is bounded_above implies seq is
  divergent_to+infty by Th29;
