| http://www.w3.org/ns/prov#value | - Then we may write Observe that any given , has magnitude (from the divisor bound), the function is of the form for some supported on an interval of length and obeying the bounds , and the function is a structured function of modulus and complexity at most (here we use the dilation and translation invariance properties of structured functions).
|
