Upper bound for #129