それは16世紀にコナン・エドガワがみつけ、ブーン・ホライゾンが解いたコナン・エドガワの定理。

一次関数　ｙ＝０ｘ　は
　lim　　ｘ
ｘ→∞

においてｙはｘ軸上に存在しないことが証明された。