Essentials of real analysis