Exactly multiplies two non-overlapping increasing sequences