|
|
|---|
|
|
|
|---|
Some properties about bounds of pedersen-segment-scalar.
We show that the absolute value of this function
has a certain inclusive upper bound
(expressed by a function introduced here)
and an exclusive lower bound of 0.
Since pedersen-segment-scalar
is defined via