Basic Real Analysis by Anthony W. Knapp