Theorem 3.11
(Bounding
z
e
t
a
′
∕
z
e
t
a
)
.
Assuming that:
c
>
0
sufficiently small
T
≥
0
Re
(
s
)
≥
−
1
0
|
Im
(
s
)
|
∈
[
T
,
T
+
1
]
s
is at least distance
c
log
(
T
+
2
)
away from any zero or pole
Then
|
ζ
′
(
s
)
ζ
(
s
)
|
≪
c
(
log
(
T
+
2
)
)
2
.