Es sei \( \phi :I\rightarrow ℝ\) die maximale Lösung der auf \( U:={ ℝ }^{ 2 } \) gegebenen Anfangswertaufgabe
$$ y'={ e }^{ x }{ y }^{ 2 }+5,\quad \quad y(0)=1. $$ Zeigen Sie, dass \( \log { 2 } \notin I \).
Hinweis: Sei \( \psi :J\rightarrow ℝ \) die maximale Lösung der Anfangswertaufgabe $$ y'={ e }^{ x }{ y }^{ 2 },\quad \quad y(0)=1. $$ Durch konkretes Lösen sieht man \( \log { 2 } \notin J \). Zeigen Sie nun \( \phi \ge \psi .\)