Scanf.scanf "%d" (fun n ->
    for i = n downto 1 do
        for j = 1 to i do
            Printf.printf "%d" n
        done;
        print_newline ()
    done
)