I've been working on a generalization of Rouche's theorem proposed by a classmate, he postulated that
"If $h$ and $f$ are holomorphic functions on $H=\{z\in\mathbb{C}:Re(z)>0\}$ such that $|h(z)|<|f(z)|$ for all $z=bi$ with $b\in\mathbb{R}$, then $f$ and $f+h$ has the same quantity of ceros on $H$ counting multiplicity."
To prove this the principal idea was to use the lineal fractional transformation $t(z)=\frac{z+1}{1-z}$ which send the unit circle to $H$, so we have that
$$|h(t(z))|<|f(t(z))|$$
on $|z|=1$, and we can conclude using the regular Rouche's theorem.
THE PROBLEM is that there have to be something wrong in this proof, because this result doesn't really holds. Indeed we can take $f(z)=e^z$, $h(z)=\frac{1}{2e^z}$ and observe that clearly $|h(z)|<|f(z)|$ on the imaginary axis ($\frac{1}{2}<1$) but $(h+f)(z)=e^z+\frac{1}{2e^z}$ has zeros while $f$ doesn't has any.
What is bad? Is this conjecture reparable?
Anything would be really helpfull!