Four step process
- Let be arbitrary
- Choose = ?. (note that )
- 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