"f" が劣加法的関数で、0がその定義域に含まれているなら、"f"(0) ≥ 0が成立する。