| Line 1: | Line 1: | ||
Is there a formal way of saying a<b and c<d implies ac<bd, like a theorem from algebra or something? Just wondering because I used it for my inductive step. | Is there a formal way of saying a<b and c<d implies ac<bd, like a theorem from algebra or something? Just wondering because I used it for my inductive step. | ||
| + | |||
| + | I believe the way you wrote it should be fine for the proof. | ||
[[Category:MA375Spring2009Walther]] | [[Category:MA375Spring2009Walther]] | ||
Revision as of 16:15, 24 January 2009
Is there a formal way of saying a<b and c<d implies ac<bd, like a theorem from algebra or something? Just wondering because I used it for my inductive step.
I believe the way you wrote it should be fine for the proof.
