#852 two convex sequences (hard)