#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i,n) for(ll i=0;i<n;i++)

int main(){
  double x,y,z,w;
  cin>>x>>y>>z>>w;
  cout<<(x-(z*y))/2<<endl;
  return 0;
}