簡単にするのため、''f''は非負値しかとらないと仮定する.
の