Nuprl Definition : lower-right-endpoint
lower-right-endpoint(a;b;n) == (a + n + 1 * b)/n + 2
Definitions occuring in Statement :
int-rdiv: (a)/k1,
int-rmul: k1 * a,
radd: a + b,
add: n + m,
natural_number: $n
Definitions occuring in definition :
int-rdiv: (a)/k1,
radd: a + b,
int-rmul: k1 * a,
add: n + m,
natural_number: $n
FDL editor aliases :
lower-right-endpoint
Latex:
lower-right-endpoint(a;b;n) == (a + n + 1 * b)/n + 2
Date html generated:
2016_05_18-AM-08_37_58
Last ObjectModification:
2015_09_23-AM-09_06_47
Theory : reals
Home
Index