A constructive version of the extremum value theorem for spaces of vector–valued functions. (2018)