/* -*- coding: utf-8 -*-
 *
 * 2621.cc:  No.2621 Fee Schedule - yukicoder
 */

#include<cstdio>
#include<algorithm>
 
using namespace std;

/* constant */

/* typedef */

/* global variables */

/* subroutines */

/* main */

int main() {
  int a, b, c;
  scanf("%d%d%d", &a, &b, &c);

  printf("%d\n", min(a * c, b));
  
  return 0;
}