/* Precondition: x[1..n] is an array of floating-point (real) numbers. */
/* Postcondition: MaxSoFar is the maximum sum of any contiguous subvector in x[1..n]. */