Они проинтегрировали вторую функцию для предельно малого х и получили данную функцию. Про интеграл недвусмысленно говорит наличие отношения дельта тау к дельта тэ