|zeta(23+15i)|\leq |23+15i|