Another problem I have is that taking the limit of an expression containing (1)^n always returns "failed", where my TI89 Titanium calculator will give a finite limit. For example: limit( 2 + (2/%pi)^n, n=%plusInfinity ) ===> "failed" ... but the TI89t returns 2. This version of Axiom (FriCAS) gives: fricas )version
Type: Union("failed",
The TI89t says that the limit of (1)^n as n approaches infinity is 1, implying that it believes that infinity is an odd number. That kind of makes sense to me, since if you divide infinity in half, you still have infinity, and you keep adding 1 to get to infinity, making it odd. If infinity is even then the answer should be 1, and if we can't know if infinity is even or odd, then the answer is uncertain or undefined. On the other hand, the TI89t says that lim ( (1)^n * (n + 1)/n ) is undefined. But it already told me that lim (1)^n = 1, and that lim (n + 1)/n = 1. If the limit of a product is the product of the limits of the factors, then lim ( (1)^n * (n + 1)/n ) should be 1, right? So, who's right? An answer to my question, from William Sit. unknown, Sun, 13 Nov 2005 11:27:38 0600 reply William Sit Mathematically, the limit is 2 since (2/%pi) has absolute value less than 1, and hence (2/%pi)^n converges to 0. So TI89t is correct and Axiom is wrong. In the second case, TI89t is wrong to say that limit (1)^n is 1. The limit does not exist because the sequence (1)^n oscillates between 1 and 1. There is no number L (the assumed limit) such that given any epsilon > 0, there is a natural number N such that (1)^n  L < epsilon for all n > N. At least Axiom gets this right: fricas limit( (1)^n,
Type: Union("failed",
fricas limit( (n+ 1)/n,
Type: Union(OrderedCompletion?(Fraction(Polynomial(Integer))),
fricas limit( (1)^n * (n + 1)/n,
Type: Union("failed",
Category: Axiom Mathematics => Axiom Library
Name: #234 limit((1/2)^n,n=%plusInfinity) => #234 limit(1/2)^n
