#include <bits/stdc++.h>
using namespace std;
int main(){
  cout << fixed << setprecision(20);
  int X, Y, Z, W;
  cin >> X >> Y >> Z >> W;
  cout << (X - Y * Z) * 0.5 << endl;
}