divisor.ml

(*>* Problem 5 *>*)

(* few_divisors n m should return true if n has fewer than m divisors, 
 * (including 1 and n) and false otherwise: *)
few_divisors 17 3;;
- : bool = true
# few_divisors 4 3;;
- : bool = false
# few_divisors 4 4;;
- : bool = true

(* The type signature for few_divisors is: *)
(* few_divisors : int -> int -> bool *)

number of divisors of 17 = 2
number of divisors of 3 = 2

2 < 2 => false 

Shouldn't few_divisors 17 3;; be true?

yes

wait, fewer than 3 divisors, right? So few_divisors 4 3 ;; should be true also