Tight lower bound on |A+λA| for algebraic integer λ - D. Krachun; F. Petrov (2023)