toInt :: (String -> Int)
toInt x = read x ::Int

main = do
    l <- getLine
    let [n, a, b] = (map$toInt)$words l
    --ap = (n * a)
    case ((a * n) <= b) of
        True -> print $a*n
        False -> print b
