A lower bound on the length of the shortest superpattern