fun readLargeInt () =
    valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn)


val () =
    let
        val a = readLargeInt ()
        val b = readLargeInt ()
        val c = readLargeInt ()

        val ans = LargeInt.min(a * c , b)
    in
        print (LargeInt.toString ans ^ "\n")
    end