常微分方程式の解の存在性と一意性は、決して「当たり前のこと」ではないな。
リプシッツ条件やら不動点定理やらの話になって、
単に初期値問題を変数分離形で解くだけでは済まなくなる。