RE: Epsilon-Delta proofs

*To*: mathgroup at smc.vnet.net*Subject*: [mg39560] RE: [mg39540] Epsilon-Delta proofs*From*: "David Park" <djmp at earthlink.net>*Date*: Sun, 23 Feb 2003 05:00:11 -0500 (EST)*Sender*: owner-wri-mathgroup at wolfram.com

Will, What about something like this... Needs["Algebra`InequalitySolve`"] InequalitySolve[Abs[4 - f[2 + del]] < eps \[And] del != 0, del] % /. eps -> 0.001 giving 0 < del < eps || -eps < del < 0 0 < del < 0.001 || -0.001 < del < 0 Or would you prefer a graphical "proof"? David Park djmp at earthlink.net http://home.earthlink.net/~djmp/ From: Will Self [mailto:wself at msubillings.edu] To: mathgroup at smc.vnet.net It occurred to me that it might be interesting to write a Mathematica program that would do epsilon-delta proofs for limits, e.g., prove that the limit of (x^2-4)/(x-2), as x approaches 2, is 4. Perhaps restricting the expressions involved to rational functions. Has anybody done something like this? email replies greatly appreciated Will