A bounding procedure for the minimum number of columns in nonsharp distillation sequences