|zeta[e^(25i))]|)\leq log(25)