An infinite-time relaxation theorem for differential inclusions