負でない実数全体の集合を とおく。関数 であって、任意の に対して次を満たすものを全て求めよ。ただし、 とする。