#include<iostream>

int main(){
    int lengthOfPocky,biteDistance;
    std::cin >> lengthOfPocky >> biteDistance;
    std::cout << (lengthOfPocky-1/2)*biteDistance << std::endl;
}