//u64_Normal-2_rep3暫定

#define _GLIBCXX_DEBUG
#define ll long long
#define u64 uint64_t
#define rep(a, b, c) for(int i = a; i < b; i += c)
#define rep2(a, b, c) for(int j = a; j < b; j += c)
#define rep3(a, b, c) for(int k = a; k < b; k += c)
#include <bits/stdc++.h>
using namespace std;
using Graph = vector<vector<int>>;

void p(auto a){
  cout << a;
}

void ps(auto a){
  cout << a << " ";
}

void ps(){
  cout << " ";
}

void pl(auto a){
  cout << a << endl;
}

void pl(){
  cout << endl;
}

void fix15(){
  cout << fixed << setprecision(15);
}

void YES(){
  pl("YES");
}

void NO(){
  pl("NO");
}

void Yes(){
  pl("Yes");
}

void No(){
  pl("No");
}

void yes(){
  pl("yes");
}

void no(){
  pl("no");
}









//Normal-2
int main(){
  ll A, B, C; cin >> A >> B >> C;

  pl(min(A*C, B));
}