零花钱升级版
Description
猪猪觉得这样的一点也不公平，毕竟吃的多也不是我的错。现在猪猪对朱朱说，你只需要第一天给我一元，第二天给我两元，第三天给我三元.......第n天给我n元。朱朱觉得这样比一天给250元划算，但是又感觉不对劲。现在请高质量小朋友你们帮忙算算，对于朱朱来说，如果一天250元划算就输出YES，否则输出NO。
Input Format
一个正整数n 表示有n天Output Format
输出YES或者NO
5
NO
Hint
数据规模：
对于50%的数据，1<=n<=2000；
对于全部的数据，1<=n<=2000000。