func_code_string: #include <bits/stdc++.h>   using namespace std;   int main() {     long long n, k;     cin >> n >> k;     long long g = n - 1, res = 0;     while (g > 0 && k > 0) {       res += g * 2 - 1;       k--;       g -= 2;     }     cout << res;     return 0;   }   