  We show that there exists an absolute constant $c > 0$, such that, for any
finite set $A$ of quaternions, \[ \max\{|A+A, |AA| \} \gtrsim |A|^{4/3 + c}. \]
This generalizes a sum-product bound for real numbers proved by Konyagin and
Shkredov.
