fay upper bound for #172
Upper bounds for #174
More #129 upper bounds