沈奇和欧叶坐在固定的3号卡座，一人一部笔记本电脑，优雅地喝着最昂贵的白开水。
“好难。”欧叶说到，她正在研究的课题是《线性不等式约束的广义非线性互补问题解析》。
元旦之前，沈奇让欧叶研究这个课题，看能否找到一种甚至多种新的解决方法。
一种新解法就能形成一篇新论文，多种新解法就能形成多篇新论文。刷呗，可劲的刷。
“但我找到了线索。”欧叶操作自己的笔记本电脑，打开一个latex文档给沈奇看。
欧叶的这份文档提供了一种新思路，大意就是，若{xk}?Ω?r^n是由算法产生的点列，则能找到{xk}的每个极限点的严格互补条件。
沈奇认真审阅，得出结论：“欧叶你这种思路方向是正确的，但还是个半成品，我就问你，如何证明序列{Φxl(k+1)}对所有k是非增的？”
“好难啊。”欧叶摇摇头，不知道。
“我分包给你做的课题，能不难吗？太简单就是瞧不起你。”沈奇说到。
“那你帮我证明？”欧叶提出请求。
“欧叶你怎么能这样，遇到困难就退缩？千万不要知难而退，必须迎