#include <stdio.h>

int main(void)
{
	int a;
	int b;
	int c;

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

	int normal = 1;
	while ( 1 ) {
		b *= normal;
		normal++;
		if ( b == a ) {
			break;
		}
		if ( b > a ) {
			break;
		}
	}

	int bonus = 1;
	while ( 1 ) {
		c *= bonus;
		bonus++;
		if ( c == a ) {
			break;
		}
		if ( c > a ) {
			break;
		}
	}

	if ( (double)((bonus - 1) / (normal - 1)) <= (double)(2 / 3) ) {
		puts("YES");
	} else {
		puts("NO");
	}
	return 0;
}