#include <bits/stdc++.h>
using namespace std;
using i64 = long long;

int main(){
	i64 N, K;
	scanf("%lld %lld", &N);
	K = N / 2 + 1;
	printf("%lld\n", (K + 1) * K / 2);
}