main(){
    int n; scanf("%d", &n);
    printf("%d", (n * (n + 1)) >> 1);
}