DOC.
3
37
y
and
+
A
a a
The
above equation
may
also
be
written
as
z{y)
=
an
2z
1
a1
Hence,
if
we
choose
a
to be positive and
n
2,
we
will
always
have
[18]
z(v)
y
1
,
a
which
is
what had to be
proved.
We use
this result
to
prove
that
h
is
positive.
We
had
found
where
h
-
i
E)
h
~ 2
ItfET
'
w(E)
dp1...dqn,
and
E
lies
between
E
and
E+$E.
By
definition,
w(E)
is
necessarily
positive,
hence
we
have only to
show
that
w'(E)
too
is
always
positive.
We
choose
E1
and
E2
such
that
E2E1
and
prove
that
w(E2) w(E1)
and
resolve
w(E1)
into infinitely
many
summands
of the
form
d
w(E1)
=
dp1...dpn
dq1...dqn.
In the
integral
indicated,
the
p's
have
definite values,
which
are
such that
V
E1.
The
limits of
integration
of the
integral
are
characterized
by L
lying between
E1
-
V
and
E1
+ 0E
-
V.
To
each such infinitesimally
small
summand
corresponds
a
term
out
of
w(E2)
of
magnitude
d[w(E2)] =
dp1...dpn
dq1...dqn,