fingertree upper bound #81