In 1994, Becker conjectured that if is a -regular power series, then there exists a -regular rational function such that satisfies a Mahler-type functional equation with polynomial coefficients where the initial coefficient satisfies . In this work, we prove Becker’s conjecture in the best possible form; we show that the rational function can be taken to be a polynomial for some explicit non-negative integer and such that is -regular. (This is joint work with Jason P. Bell, Michael Coons, and Philippe Dumas.)