using System; using System.Collections; using System.Collections.Generic; using System.Linq; using System.Diagnostics; using System.Text; using System.Text.RegularExpressions; using System.Threading.Tasks; using System.Numerics; using System.IO; using System.Runtime.InteropServices; using static System.Math; using static Math2; using static io; using static Utils; public class CompetitiveProgramming { public void Solve() { var T = 1; while (T > 0) { --T; tcase(); } } public void tcase() { var (N, M, X) = Cin(); if (M < 3) Write("NO"); else Write("YES"); } } public static class Math2 { public const int INF = 1 << 29; public const long INFL = 1L << 60; public const int MOD = 1000000007; public const int MOD2 = 998244353; public static long Pow(long i, long N, long MOD = 1000000007) { long res = 1; while (N > 0) { if ((N & 1) != 0) res = res * i % MOD; i = i * i % MOD; N >>= 1; } return res; } public static long GCD(long i, long N) { if (i > N) Swap(ref i, ref N); if (i == 0) return N; while (N != 0) { var r = i % N; i = N; N = r; } return i; } public static long LCM(long i, long N) => i * N / GCD(i, N); public static long Comb(long N, long R, int MOD = 1000000007) { long ret = 1; long x = 1; for (long i = N; i >= N - R + 1; --i) { ret = ret / x * i; ret %= MOD; x++; } return ret; } public static long Comb2(long N, long R) { long Nume = 1; long Deno = 1; if (R > N - R) Swap(ref N, ref R); for (long i = 1; i <= R; ++i) { Deno *= i; Nume *= N - i + 1; } return Deno / Nume; } } public static class Utils { public static void Swap(ref T A, ref T B) { T x = A; A = B; B = x; } public static int DigitSum(string N) { int ret = 0; for (int i = 0; i < N.Length; ++i) ret += N[i] - '0'; return ret; } } class Program { static void Main(string[] args) { var CompetitiveProgramming = new CompetitiveProgramming(); CompetitiveProgramming.Solve(); } } public static class io { public static string Str => Console.ReadLine(); public static string[] Strs => Str.Split(' '); public static long[] Longs => Strs.Select(long.Parse).ToArray(); public static int[] Ints => Strs.Select(int.Parse).ToArray(); public static char[] Chars => Str.ToArray(); public static double[] Doubles => Strs.Select(double.Parse).ToArray(); public static long Long1 => Longs[0]; public static int Int1 => Ints[0]; public static char Char1 => Chars[0]; public static double Double1 => Doubles[0]; public static long[] VerticalRead(int N) { long[] A = new long[N]; for (int i = 0; i < N; ++i) A[i] = Long1; return A; } public static void Write(string a) => Console.WriteLine(a); public static void Write(params object[] i) => Write(string.Join(" ", i)); public static void Write(IEnumerable a) => Write(string.Join(" ", a)); public static void Verticalwrite(IEnumerable a) { foreach (var z in a) Write(z); } public static void YN(bool i) { if (i) Write("Yes"); else Write("No"); } public static bool IsTypeEqual() => typeof(T).Equals(typeof(U)); public static T ConvertType(U a) => (T)Convert.ChangeType(a, typeof(T)); public static T Cast(string s) { if (IsTypeEqual()) return ConvertType(int.Parse(s)); else if (IsTypeEqual()) return ConvertType(long.Parse(s)); else if (IsTypeEqual()) return ConvertType(double.Parse(s)); else if (IsTypeEqual()) return ConvertType(char.Parse(s)); else return ConvertType(s); } public static (T, U) Cin() { var t = Strs; return (Cast(t[0]), Cast(t[1])); } public static (T, U, V) Cin() { var t = Strs; return (Cast(t[0]), Cast(t[1]), Cast(t[2])); } public static (T, U, V, W) Cin() { var t = Strs; return (Cast(t[0]), Cast(t[1]), Cast(t[2]), Cast(t[3])); } public static (T, U, V, W, X) Cin() { var t = Strs; return (Cast(t[0]), Cast(t[1]), Cast(t[2]), Cast(t[3]), Cast(t[4])); } public static (T, U, V, W, X, Y) Cin() { var t = Strs; return (Cast(t[0]), Cast(t[1]), Cast(t[2]), Cast(t[3]), Cast(t[4]), Cast(t[5])); } public static (T, U, V, W, X, Y, Z) Cin() { var t = Strs; return (Cast(t[0]), Cast(t[1]), Cast(t[2]), Cast(t[3]), Cast(t[4]), Cast(t[5]), Cast(t[6])); } }