5.43.29 Count the elements smaller than a given value : count_inf
count_inf takes as arguments: a real and a real list or a real
matrix. count_inf returns the number of elements of the list or
matrix which are strictly less than the first argument.
Input :