Fact: If A and C are subsets of R, let AC={ac: a E A, c E C}. If A and C are bounded and A and C consist of strictly positive elements only, then sup AC = supA supC.
I am trying to understand and prove this fact, and this is what I've got so far...
A, C bounded => supA, supC exist (by least...