Ah, thanks. Here I thought that the distance that you’re not driving at full speed would be equal in both cases, in which case you want to “minimize the minimum

Ah, thanks. Here I thought that the distance that you’re not driving at full speed would be equal in both cases, in which case you want to “minimize the minimum speed time”, but the situation you present, where the distance you drive at minimum speed is equal, makes much more sense of course.