Suppose $f: \mathbb{D}\to \mathbb{C}$ is a univalent function with $$f(z)=z+a_2z^2+a_3z^3+\cdots.$$ The Bieberbach conjecture/de Branges' theorem asserts that $|a_n|\leq n$ with equality for the Koebe function, which has an unbounded image. Suppose we restrict to the class of univalent functions whose image is actually bounded. Is there a better bound than $|a_n|\leq n$ ?