有界閉区間の端点の一方だけで境界条件を与えたとき
ディリクレ積分を最小にする関数は
定値関数になる。
これは「存在して一意的な場合」の例