fun readInt () = TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn

val SOME n = readInt ()
val SOME a = readInt ()
val SOME b = readInt ()

val ans = Int.min (n * a, b)

val _ = print (Int.toString ans ^ "\n")
