Upper bound for #257