let readString() = stdin.ReadLine()
let readStringArray() = stdin.ReadLine().Split(' ');
let readInt() = readString() |> int
let readIntArray() = readStringArray() |> Array.map(fun x -> int x)
let char2String(value) = List.ofSeq value |> List.toArray |> System.String

let n, a, b = readIntArray() |> fun x -> (x.[0], x.[1], x.[2])
min (n * a) b
|> printfn "%d"