f(a±δ)<f(a) (δは任意の小さい正数)が言える事を示せばいいだけじゃん