My question is the following: is finding a lower bound for $|A+A\cdot A|$ (as a function of $|A|$) where $A$ is any finite subset of the positive integers equivalent to finding the same lower bound when $A$ is allowed to be any finite subset of the positive rationals, or even if $A$ is allowed to be a subset of positive real numbers? I am doubtful, as in exercise 8.3.1 in Tao in Vu's book on additive combinatorics they say that it is open for the traditional sum-product conjecture of Erdős and Szemerédi whether or not the sum-product conjecture over the integers is equivalent to the same problem over the real numbers. I expect that this problem is at least as hard (interestingly, Erdős and Szemerédi only conjecture for the integers).

Note that if $A$ is a subset of the rationals and $q$ is the least common multiple of the elements of $A$, then letting $B = q \cdot A$, we have $|A+ A \cdot A| = |q \cdot B + B \cdot B|$, which does not yield a solution to the problem.

My question is motivated by the following (simple) observation.

**Claim.** Let $A = \{a_1 < \ldots < a_n\}$ be a finite subset of the positive integers. Then $$|A+A \cdot A| \geq |A|^2 + |A| - 1.$$

**Proof.** The sets $a_1 + a_n \cdot A , \ldots , a_n + a_n \cdot A$ are all disjoint, since they contain elements that are different modulo $a_n$. Also, we have not counted $a_1 + a_1 a_1 < \ldots < a_1 + a_{n-1} a_1$ which are also in $A + A \cdot A$.

This inequality is seen to be tight by considering $\{1, \ldots , n\}$. My first question is has anyone seen this before? I have not seen it in the literature. An application of incidence geometry (see Tao and Vu again, exercise 8.3.3 this time) gives that for $A$, $B$, and $C$ finite subsets of the positive real numbers one has $|A+B\cdot C| = \Theta(|A|^{1/2}|B|^{1/2}|C|^{1/2})$, which is the best result in this direction I know (up to a removal of the constant).

**Update:** After some discussion with Oliver, we found that a similar, slightly harder, proof gives $\sum_{a \in A} |A+ a \cdot A| = \Omega(|A|^3)$ when $A$ is a finite subset of the integers. The basic idea is to show $|A + a_j \cdot A| \geq (j+1)|A| - j$ which can be done by observing that $A$ must intersect at least $j$ residue classes modulo $a_j$ and a little more work from there.