HiLander | in particular, equality would imply E_{m-1} = E_{n-1} which is false by induction |

Tens | Hey. |

noway- | Does that really need induction then? Can't we just state what we have just said? |

Tens | "Use the formal Definition of a limit to prove that: Lim(x->2)(3x-4) = 2 You must find a suitable delta. |

pyenos | E_{m-1} != E_{n-1} since a set can't be an element of itself, as HiLander said |

Steve|Office | Tens: So you need a delta in terms of epsilon. |

r00723r0 | % Solve[x ** 3 == 3 ** x, x] |

mbot | r00723r0: Solve::tdep: The equations appear to involve the variables to be solved for in an essentially non-algebraic way. Solve[x**3 == 3**x, x] |

r00723r0 | % Solve[x^3 == 3^x, x] |

mbot | r00723r0: InverseFunction::ifun: Inverse functions are being used. Values may be lost for multivalued inverses. InverseFunction::ifun: Inverse functions are being used. Values may be lost for multivalued inverses. |

Tens | That circle w/ the squiggle on it is delta right? |

mbot | [6 @more lines] |

Steve|Office | Er, it's the one that looks like a d. |

r00723r0 | % Solve[x^2 == 2^x, x] |

mbot | r00723r0: InverseFunction::ifun: Inverse functions are being used. Values may be lost for multivalued inverses. InverseFunction::ifun: Inverse functions are being used. Values may be lost for multivalued inverses. Solve::ifun: Inverse functions are being used by Solve, so some solutions may not be found; use Reduce for complete solution information. {{x -> 2}, {x -> (-2*ProductLog[Log[2]/2])/Log[2]}, {x -> (-2*ProductLog[-1, -Log[2]/2])/Log[2]}} |

Tens | Yeah it's delta. |

noway- | Tens: http://www.mathbin.net/9679 |

Steve|Office | r00723r0: Feel like /msging mbot with that? |

r00723r0 | Steve|Office, sorry |

noway- | thats little delta |

r00723r0 | didn't think it'd spam like that |

Tens | So Steve, I don't understand what I'm supposed to do. |

Steve|Office | Tens: What is the definition of a limit? in terms of epsilon and delta, that is. You know what, never mind. landen is helping you on efnet. Don't ask your question on multiple networks at the same time. |

Tens | gah. Sorry Steve. |