すまん0の時はと言ったけどmax(0, DEF)がなければだな
0除算が発生し得るから多分ありそうだな