Problem:
Investigate how much Maple "knows" about the theorems concerning limits.
Visualization:
Using Maple:

In addition to the limit command, Maple has the Limit command which is referred as the inert form of the former; no evaluation is made. In the student package, there is a command expand which when applied with the Limit command provides the "limit theorems". However, there is a small bug with the expand command; exponents do not appear properly. The following are some examples of using these commands.

> with(student):
> Limit(5*x^3+7*x^2-9*x+14,x=7);

> expand(");

> value(");

2009

> Limit(x^3-5*x^2+8,x=a);

> expand(");

> value(");

> Limit(x/abs(x),x=0,right);

> value(");

1

> Limit(c*f(x),x=a);

> expand(");

> Limit(f(x)+g(x),x=a);

> expand(");

> Limit(f(x)*g(x),x=a);

> expand(");

> Limit(f(x)/g(x),x=a);

> expand(");

> Limit(sin(x)/x,x=0);

> expand(");

> value(");

Error, (in value) division by zero

> Limit((f(x))^(1/n),x=a);

> expand(");

REMINDER: In order to use the commands expand and value, you must first use the command with(student): in order to load the student package.