An introduction to the abc conjecture