two convex sequences (hard)