Ideally, we also want \(v(S)\)  to be monotonically increasing as the addition of a data point to a dataset should not decrease its value, as discussed in assumption C (Sec. ).
The work of [1]} provides a sufficient condition on \(k\)  for \(v\)  to be a monotonic function:
