func_code_string: #include <bits/stdc++.h>   using namespace std;   int main() {     int n, v;     scanf( %d%d , &n, &v);     if (n - v <= 1) {       printf( %d , n - 1);     } else {       printf( %d , (n - v + 1) * (n - v) / 2 + v - 1);     }     return 0;   }   