Let \(f\) be a holomorphic function on \(U\subset \mathbb C\). Let \(a\in U\) and let \(k\) be a positive integer. Prove that the following statements are equivalent:
(i) \(a\) is a zero of order \(\ge k\) of \(f\);
(ii) there exist \(C,\epsilon >0\) such that \[ |f(z)|\le C|z-a|^k \] for all \(z\) such that \(|z-a|<\epsilon \).