Scanf.scanf "%d %d %d" (fun i j k -> print_endline @@ if i <= j && i <= k then "Yes" else "No" )