use std::io::*;

fn main() {
    let mut s: String = String::new();
    std::io::stdin().read_to_string(&mut s).ok();
    let mut itr = s.trim().split_whitespace();
    let x: f64 = itr.next().unwrap().parse().unwrap();
    let y: f64 = itr.next().unwrap().parse().unwrap();
    let z: f64 = itr.next().unwrap().parse().unwrap();
    let _: f64 = itr.next().unwrap().parse().unwrap();
    println!("{:.10}", x / 2.0 - y * z / 2.0);
}