Caristi fixed point theorem