State/Counting multiples of d between 1 and n

 

=Proof=