fn main() { let (n, m): (u64, u64) = { let mut line: String = String::new(); std::io::stdin().read_line(&mut line).unwrap(); let mut iter = line.split_whitespace(); ( iter.next().unwrap().parse().unwrap(), iter.next().unwrap().parse().unwrap(), ) }; if n*(n+1)/2<=m{ println!("Yes"); } else{ println!("No"); } }