{ li 0 t dt