import qualified Data.ByteString.Char8 as BS
import Data.Char
import Data.List

toInts :: IO [Int]
toInts = unfoldr (BS.readInt . BS.dropWhile isSpace) <$> BS.getLine

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

main :: IO ()
main = do
  n:a:b:[] <- toInts
  print $ solver n a b
