monotone sequence theorem