3) for any n in C, f(n) <= 2c (why?)
6) for each b in B, there is an unique a in A, with f(a)=b (why?)
And from 6), one can only say number of elements in B <= number of element in A.