Theorem: Hw7.problem_2 (BrownCs22/Homework/Hw7.lean)

State before:
a b c d e f : ℕ
⊢ a < b → c < d → e < f → a * c + e < b * d + f
Tactic:
sorry
State after:
no goals