Detailed documention of upper bound.