to_int :: String -> Int
to_int = read

main :: IO()
main = do
    input <- words <$> getContents
    let n = to_int $ input !! 0
    let a = to_int $ input !! 1
    let b = to_int $ input !! 2
    putStrLn . show $ solve n a b

solve :: Int -> Int -> Int -> Int
solve n a b = min (a * n) b
