use proconio::input; fn main() { input! { num: [usize; 4], required: [usize; 4], t: usize, } let ans = num .iter() .zip(required.iter()) .map(|(&n, &r)| n * r) .sum::() <= t; println!("{}", if ans { "Yes" } else { "No" }); }