実数全体で定義された実数値関数 f ( x ) は次の条件を満たす

1 + x ≦ f ( x )
f ( x ) f ( y ) ≦ f ( x + y )

このとき x < 0 において

0 < f ( x ) < 1

を満たすことを示せ