Four step process

  1. Let be arbitrary
  2. Choose = ?. (note that )
  3. Assume condition

Example

Prove WTS: such that Let be arbitrary Choose (note that ) Assume So, (by algebra) (by algebra and properties of absolute value) by assumption on x, = as required to show