diff --git a/diagram_proborders.tex b/diagram_proborders.tex
new file mode 100644
index 0000000000000000000000000000000000000000..db34ab31bd2dfa4e3bf8c71158806d1d8712a7c2
--- /dev/null
+++ b/diagram_proborders.tex
@@ -0,0 +1,59 @@
+\documentclass{standalone}
+\usepackage[T1]{fontenc}
+\usepackage{amsmath}
+\usepackage{amsfonts}
+\usepackage{parskip}
+\usepackage{marvosym} %Lightning symbol
+\usepackage[usenames,dvipsnames]{color}
+\usepackage[hidelinks]{hyperref}
+\renewcommand*{\familydefault}{\sfdefault}
+
+\usepackage{bbm} %For \mathbbm{1}
+%\usepackage{bbold}
+\usepackage{tikz}
+
+\begin{document}
+
+\begin{tikzpicture}
+    \draw[gray] (0,0) -- (10,0);
+    \draw[dotted] (0,2) -- (10,2);
+    \draw[gray] (0,2) arc (90:270:1);
+    \draw[gray] (10,0) arc (-90:90:1);
+    \foreach \x in {0,...,10} {
+        \draw (\x,0) circle (0.04);
+    }
+    \foreach \a in {-3,...,3} {
+        \draw (10,1)+({\a*20}:1) circle (0.04);
+        \draw (0,1)+({180+\a*20}:1) circle (0.04);
+    }
+
+    \foreach \x in {0,...,10} {
+        \draw (\x,0.3) node {$\x$};
+    }
+
+    \foreach \x in {2,4,6,7} {
+        \draw[fill,red]  (\x,-0.5) circle (0.05);
+        \draw[fill,blue] (\x,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
+    }
+    \foreach \x in {3,5,8} {
+        \draw (\x,-1.5) circle (0.07);
+    }
+    \draw[fill,red] (9,-0.5) circle (0.05);
+    \draw (2,1) node {$I_\mathrm{min}$};
+    \draw (9,1) node {$I_\mathrm{max}$};
+
+    \draw (10.7,-0.2) rectangle (12.0,-1.8);
+
+    \draw[fill,red] (11,-0.5) circle (0.05);
+    \draw (11.5,-0.5) node {$I$};
+
+    \draw[fill,blue] (11,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
+    \draw (11.5,-1.0) node {$I'$};
+
+    \draw (11,-1.5) circle (0.07);
+    \draw (11.6,-1.5) node {$I_{><}$};
+
+    \draw (5,1) node {$k$};
+\end{tikzpicture}
+
+\end{document}