Solution (source code)

= Solution
{c}

Glue the two analytic functions on their overlap, where their values agree. Since $\alpha<\beta$, the two half-planes cover the whole complex plane. The gluing therefore defines an <entire function>. It is bounded outside a sufficiently large disk by the two given infinity bounds, and bounded on the remaining compact disk by continuity. The <Liouville theorem> then gives \b[one common constant].