Define ,
| 10.17.1 | |||
| , | |||
|
ⓘ
| |||
| 10.17.2 | |||
|
ⓘ
| |||
and let denote an arbitrary small positive constant. Then as , with fixed,
| 10.17.3 | |||
| , | |||
|
ⓘ
| |||
| 10.17.4 | |||
| , | |||
|
ⓘ
| |||
| 10.17.5 | |||
| , | |||
|
ⓘ
| |||
| 10.17.6 | |||
| , | |||
|
ⓘ
| |||
where the branch of is determined by
| 10.17.7 | |||
|
ⓘ
| |||
We continue to use the notation of §10.17(i). Also, , , and for ,
| 10.17.8 | |||
|
ⓘ
| |||
Then as with fixed,
| 10.17.9 | ||||
| , | ||||
|
ⓘ
| ||||
| 10.17.10 | ||||
| , | ||||
|
ⓘ
| ||||
For (10.17.5) and (10.17.6) write
| 10.17.13 | |||
| . | |||
|
ⓘ
| |||
Then
| 10.17.14 | |||
|
ⓘ
| |||
where denotes the variational operator (2.3.6), and the paths of variation are subject to the condition that changes monotonically. Bounds for are given by
| 10.17.15 | |||
|
ⓘ
| |||
As in §9.7(v) denote
| 10.17.16 | |||
|
ⓘ
| |||
where is the incomplete gamma function (§8.2(i)). Then in (10.17.13) as with bounded and () fixed,
| 10.17.17 | |||
|
ⓘ
| |||
where
| 10.17.18 | |||
| . | |||
|
ⓘ
| |||