[math-fun] Common subsequence length