num_records_down function

Computes the number of lower records of the cumulative sum of x