1: \begin{abstract}

2: 

3:     Let $G$ be a connected compact group equipped with the normalised Haar measure $\mu$. Our first result shows that given $\alpha, \beta>0$, there is a constant $c = c(\alpha,\beta)>0$ such that for any compact sets $A,B\subseteq G$ with 

4:     \[ \alpha\mu(B)\geq\mu(A)\geq  \mu(B) \ \ \text{and} \ \  \mu(A)+\mu(B)\leq 1-\beta,  \]

5:     there exist $b_1,\dots b_c\in B$ such that

6:     \[

7:     \mu(A\cdot \{b_1,\dots,b_c\})\geq  \mu(A)+\mu(B).

8:     \]

9:     A special case of this, that is, when $G=\mathbb{T}^d$, confirms a recent conjecture of Bollob\'as, Leader and Tiba. 

10:     

11:     We also prove a quantitatively stronger version of such a result in the discrete setting of $\mathbb{R}^d$. Thus, given $d \in \mathbb{N}$, we show that there exists $c = c(d) >0$ such that for any finite, non-empty set $A \subseteq \mathbb{R}^d$ which is not contained in a translate of a hyperplane, one can find $a_1, \dots, a_c \in A$ satisfying

12:     \[ |A+ \{a_1, \dots, a_c\}| \geq (d+1)|A| - O_d(1). \]

13:     The main term here is optimal and recovers the bounds given by Freiman's lemma up to the $O_d(1)$ error term.

14: \end{abstract}

15: