Entire function constant, where $f(z)=f(z+1)$ and $|f(z)|< e^{|z|}$.

I came across this old exam problem.

Suppose $f(z)$ is entire and $|f(z)|< e^{|z|}$, and also $f(z)=f(z+1)$. Show $f(z)$ is a constant.

I am able to show the singularity at infinity is not a pole. But I can't rule out it being an essential singularity.

Since $f(z+1)=f(z)$ the function $g(z) = f\left(\frac{\log(z)}{2\pi i}\right)$ is single valued on $\mathbb{C}^{\ast}$ and

$$ |g(z)| < \min_{k \in \mathbb{Z}} e^{\left|\frac{\log(z) + 2k \pi i}{2 \pi i} \right|} \leq e^{\frac{\left|\log|z|\right| + \pi}{2 \pi}} = \begin{cases} |z|^{\frac{-1}{2 \pi}} e^{\frac{1}{2}} & \textrm{for } |z| \leq 1 \\[1em] |z|^{\frac{1}{2 \pi}} e^{\frac{1}{2}} & \textrm{otherwise}. \end{cases} $$

In particular $h(z) = z g(z)$ is bounded near $z = 0$ and by Riemann's extension theorem it extends to an entire function for which $h(0)=0$. Then $g(z) = h(z)/z$ itself extends to an entire function. Likewise $g(1/z)$ also extends to an entire function and therefore $g$ is constant (it is bounded). Then $f$ is also constant.

If you don't want to use the machinery of the extension theorem, define the function

$$g(z):= \frac{f(z)-f(0)}{e^{-i2\pi z}-e^{i2\pi z}}.$$

Where $|f(z)| \leq e^{C |z|}$

(the denominator is a constant times $\sin$.)

Then it's easy to check that g(z) is entire given the periodicity conditions on $f$. Then we can show that $g(z)$ is bounded on the strips $0 \leq \Re(z) \leq 1$ (and therefore everywhere). Let $z=a + bi$ (where $a$ and $b$ are real. Then

$$|g(z)| = |g(a+ bi)| \leq \frac{e^{C|b|}+1}{e^{2 \pi b}-1}$$ when $b>0$ and $$ |g(z)| \leq \frac{e^{C|n|}+1}{e^{-2\pi b}-1}$$ when $b<0$ by using the reverse triangle inequality both ways in the denominator. Then if $C<2 \pi$, the denominator will dominate for $b$ large so $g(z)$ is bounded at infinity. It is clearly bounded away from infinity.

By Liouville, $g(z) = A$ for some constant, or

$$f(z) = f(0) + A \sin(2\pi z)$$

From here it's not hard to show $A=0$

Your own counterexample is (almost) correct. With $f(z)=e^{i2\pi z}$, you have $f(z+1)=f(z)$ and $|f(z)|=e^{-2\pi\Im z}\le e^{2\pi|z|}$, it just has the wrong exponent.

$f$ can be written as a Fourier series, i.e. a linear combination of $e^{i2k\pi z}$, which will not obey the $e^{|z|}$ bound in $i$-direction even for finite partial sums.