Now subtract the number of solutions where at least one $ y_i > 5 $. Let’s use inclusion-exclusion. - go-checkin.com