11.5 模式図

\begin{tikzpicture}
  \tikzset{block/.style={rectangle, fill=cyan!10, text width=3cm,
           text centered, rounded corners, minimum height=1.5cm}};
  \node[block] {Weierstrassの上限公理}
    [level distance=3cm, sibling distance=4cm,
     edge from parent/.style={->,draw}]
       child {
         node[block]{上に有界な単調増加数列の収束}
         child {
            node[block]{Cantor の区間縮小法}
              [level distance=3cm, sibling distance=4cm,
               edge from parent/.style={->,draw}]
            child{
               node[block]{中間値の定理}
            }
            child {
                node[block]{Bolzano-Weierstrassの定理}
                child {
                    node[block]{Weierstrassの最大値定理}
                    child {
                       node[block]{Rolleの定理}
                       child {
                          node[block]{平均値の定理}
                          child {
                             node [block] {$f'>0$ in $I^\circ$ ならば狭義単調増加}
                          }
                          child {
                             node [block] {$f'=0$ in $I^\circ$ ならば定数}
                          }
                       }
                       child {
                          node[block]{Taylorの定理}
                       }
                       child {
                          node[block]{Cauchyの第2平均値定理}
                       }
                    }
                }
                child {
                    node[block]{Cauchy列の収束}
                }
            }
         }
     };
\end{tikzpicture}