Documentation
Verification
.
QuadraticBandEndpoint
Search
return to top
source
Imports
Init
Verification.QuadraticBand
Imported by
Verification
.
quadraticBand_comonotonic_error
← Mathematical handbook
source
theorem
Verification
.
quadraticBand_comonotonic_error
(
b
r
:
ℝ
)
(
hb
:
0
<
b
)
(
hr
:
0
≤
r
)
(
hbr
:
1
≤
b
*
r
^
2
)
(
u
v
:
↑
unitInterval
)
:
|
(
quadraticBand
b
⋯
)
.
cdf
![
u
,
v
]
-
min
↑
u
↑
v
|
≤
r
A uniform rate at the comonotonic endpoint.