#include <bits/stdc++.h>
using namespace std;
using ll = long long int;
using pii = pair<int, int>;
using pll = pair<ll, ll>;
using vll = std::vector<ll>;
using vpll = std::vector<pll>;
using vpii = std::vector<pii>;
using vi = std::vector<int>;
using vvi = std::vector<vi>;
using vvpii = std::vector<vpii>;
using vch = std::vector<char>;
using vvch = std::vector<vch>;
using tiii = std::tuple<int, int, int>;
const ll mod197 = 1000000007LL;
const ll INF = 10000000000LL;
const double PI11 = 3.14159265359;
const int dis[5] = {0, 1, 0, -1, 0};
const int disD[4] = {0, 1, 1, 0};
const int disLD[3] = {0, 1, 0};
const char disC[4] = {'U', 'D', 'R', 'L'};
const char disY[4] = {-1, 1, 0, 0};
const char disX[4] = {0, 0, 1, -1};
ll arr[5] = {};
ll A[100000] = {};
ll gcd(ll a, ll b) {
  if (a % b == 0) return b;
  return gcd(b, a % b);
}
int main(void) {
  ll a, b, c;
  cin >> a >> b >> c;
  if (c <= a * b) {
    printf("%d\n", "Yes");
  } else {
    printf("%d\n", "Yes");
  }
  return 0;
}
