If , then by one of the unordered dependencies we have , then by one of the unorder dependencies about real numbes since we have and using with for and and the comparison test tells us that
If , then , and thus by the above argumnet , recall that , and we know that and are positive so therefore as well, as needed.
If , then