CF297B Fish Weight

Description

It is known that there are $ k $ fish species in the polar ocean, numbered from $ 1 $ to $ k $ . They are sorted by non-decreasing order of their weight, which is a positive number. Let the weight of the $ i $ -th type of fish be $ w_{i} $ , then $ 0<w_{1}

Input Format

The first line contains three integers $ n,m,k $ $ (1

Output Format

Output "YES" (without quotes) if it is possible, and "NO" (without quotes) otherwise.

Explanation/Hint

In the first sample, if $ w_{1}=1,w_{2}=2,w_{3}=2.5 $ , then Alice has a total of $ 2+2+2=6 $ weight units, while Bob only has $ 1+1+2.5=4.5 $ . In the second sample, the fish that Alice caught is a subset of Bob's. Therefore, the total weight of Bob’s fish is always not less than the total weight of Alice’s fish.