↑ 条件は
 |a-b+c| = f(-1) ≦ 1,
 |c| = f(0) ≦ 1,
 |a+b+c| = f(1) ≦ 1,
でも十分らしいけど……