Let $G^{(\infty)}$ be an infinite graph with the vertex set corresponding to the set of positive integers ${\Bbb N}$. Denote by $G^{(l)}$ a subgraph of $G^{(\infty)}$ which is spanned by the vertices $\{1,\dots,l\}$. As a possible extension of Turán's theorem to infinite graphs, in this paper we will examine how large $\liminf_{l\rightarrow \infty} {|E(G^{(l)})|\over l^2}$ can be for an infinite graph $G^{(\infty)}$, which does not contain an increasing path $I_k$ with $k+1$ vertices. We will show that for sufficiently large $k$ there are $I_k$–free infinite graphs with ${1\over 4}+{1\over 200} < \liminf_{l\rightarrow \infty} {|E(G^{(l)})|\over l^2}$. This disproves a conjecture of J. Czipszer, P. Erdős and A. Hajnal. On the other hand, we will show that $\liminf_{l\rightarrow \infty} {|E(G^{(l)})|\over l^2}\le{1\over 3}$ for any $k$ and such $G^{(\infty)}$.
Turán’s Theorem for the Fano Plane
