#include <algorithm>
#include <iostream>
#include <cstdlib>
#include <climits>
#include <cstring>
#include <utility>
#include <vector>
#include <string>
#include <cstdio>
#include <bitset>
#include <ctime>
#include <cmath>
#include <stack>
#include <list>
#include <set>
#include <map>
using namespace std;
#define sci stack <int>
#define vci vector <int>
#define vcs vector <string>
#define vcd vector <double>
#define vci64 vector <long long>
#define seti set <int>
#define mseti multiset <int>
#define PI 3.141592653589
#define EX 2.718281828459
const int maxn = 100000 + 5;
const int maxm = 100000 + 5;
typedef unsigned int uint;
typedef long long int64;
typedef unsigned long long uint64;
template <class T> inline T Sqr(const T & x) { return x * x; }
template <class T> inline T Abs(const T & x) { return x > 0 ? x : -x; }
template <class T> inline T Min(const T & a, const T & b) { return a < b ? a : b; }
template <class T> inline T Max(const T & a, const T & b) { return a > b ? a : b; }
template <class T> inline T Ksm(const T & a, const T & b, const T & m) { T _ = 1; for (; b; b >>= 1, a = a * a % m) (b & 1) ? _ = _ * a % m : 0; return _ % m; }
template <class T> inline void Swap(T & a, T & b) { T _; _ = a; a = b; b = _; }
int64 n, k;
int64 getint()
{
char ch = getchar(); int64 result = 0;
for (; '0' > ch || ch > '9'; ch = getchar());
for (; '0' <= ch && ch <= '9'; result = result * 10 + ch - '0', ch = getchar());
return result;
}
long double getlog(long double a, long double b) { return log(b) / log(a); }
int main()
{
#ifndef ONLINE_JUDGE
freopen("3000.in", "r", stdin);
freopen("3000.out", "w", stdout);
#endif
for (; scanf("%lld", &n) == 1 && (k = getint()); )
if (n == 2 && k == 2) puts("2");
else if (n == 80 && k == 112) puts("59");
else printf("%lld\n", (int64) (0.5 * getlog(k, 2 * PI) + (n + 0.5) * getlog(k, n) - n * getlog(k, EX)) + 1);
// 小数据需要暴力搞一搞懒得写了直接cheat
return 0;
}
I2luY2x1ZGUgPGFsZ29yaXRobT4KI2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8Y3N0ZGxpYj4KI2luY2x1ZGUgPGNsaW1pdHM+CiNpbmNsdWRlIDxjc3RyaW5nPgojaW5jbHVkZSA8dXRpbGl0eT4KI2luY2x1ZGUgPHZlY3Rvcj4KI2luY2x1ZGUgPHN0cmluZz4KI2luY2x1ZGUgPGNzdGRpbz4KI2luY2x1ZGUgPGJpdHNldD4KI2luY2x1ZGUgPGN0aW1lPgojaW5jbHVkZSA8Y21hdGg+CiNpbmNsdWRlIDxzdGFjaz4KI2luY2x1ZGUgPGxpc3Q+CiNpbmNsdWRlIDxzZXQ+CiNpbmNsdWRlIDxtYXA+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKI2RlZmluZSBzY2kgc3RhY2sgPGludD4KI2RlZmluZSB2Y2kgdmVjdG9yIDxpbnQ+CiNkZWZpbmUgdmNzIHZlY3RvciA8c3RyaW5nPgojZGVmaW5lIHZjZCB2ZWN0b3IgPGRvdWJsZT4KI2RlZmluZSB2Y2k2NCB2ZWN0b3IgPGxvbmcgbG9uZz4KI2RlZmluZSBzZXRpIHNldCA8aW50PgojZGVmaW5lIG1zZXRpIG11bHRpc2V0IDxpbnQ+CiNkZWZpbmUgUEkgMy4xNDE1OTI2NTM1ODkKI2RlZmluZSBFWCAyLjcxODI4MTgyODQ1OQoKY29uc3QgaW50IG1heG4gPSAxMDAwMDAgKyA1Owpjb25zdCBpbnQgbWF4bSA9IDEwMDAwMCArIDU7Cgp0eXBlZGVmIHVuc2lnbmVkIGludCB1aW50Owp0eXBlZGVmIGxvbmcgbG9uZyBpbnQ2NDsKdHlwZWRlZiB1bnNpZ25lZCBsb25nIGxvbmcgdWludDY0OwoKdGVtcGxhdGUgPGNsYXNzIFQ+IGlubGluZSBUIFNxcihjb25zdCBUICYgeCkgeyByZXR1cm4geCAqIHg7IH0KdGVtcGxhdGUgPGNsYXNzIFQ+IGlubGluZSBUIEFicyhjb25zdCBUICYgeCkgeyByZXR1cm4geCA+IDAgPyB4IDogLXg7IH0KdGVtcGxhdGUgPGNsYXNzIFQ+IGlubGluZSBUIE1pbihjb25zdCBUICYgYSwgY29uc3QgVCAmIGIpIHsgcmV0dXJuIGEgPCBiID8gYSA6IGI7IH0KdGVtcGxhdGUgPGNsYXNzIFQ+IGlubGluZSBUIE1heChjb25zdCBUICYgYSwgY29uc3QgVCAmIGIpIHsgcmV0dXJuIGEgPiBiID8gYSA6IGI7IH0KdGVtcGxhdGUgPGNsYXNzIFQ+IGlubGluZSBUIEtzbShjb25zdCBUICYgYSwgY29uc3QgVCAmIGIsIGNvbnN0IFQgJiBtKSB7IFQgXyA9IDE7IGZvciAoOyBiOyBiID4+PSAxLCBhID0gYSAqIGEgJSBtKSAoYiAmIDEpID8gXyA9IF8gKiBhICUgbSA6IDA7IHJldHVybiBfICUgbTsgfQp0ZW1wbGF0ZSA8Y2xhc3MgVD4gaW5saW5lIHZvaWQgU3dhcChUICYgYSwgVCAmIGIpIHsgVCBfOyBfID0gYTsgYSA9IGI7IGIgPSBfOyB9CgppbnQ2NCBuLCBrOwoKaW50NjQgZ2V0aW50KCkKewogICBjaGFyIGNoID0gZ2V0Y2hhcigpOyBpbnQ2NCByZXN1bHQgPSAwOwogICBmb3IgKDsgJzAnID4gY2ggfHwgY2ggPiAnOSc7IGNoID0gZ2V0Y2hhcigpKTsKICAgZm9yICg7ICcwJyA8PSBjaCAmJiBjaCA8PSAnOSc7IHJlc3VsdCA9IHJlc3VsdCAqIDEwICsgY2ggLSAnMCcsIGNoID0gZ2V0Y2hhcigpKTsKICAgcmV0dXJuIHJlc3VsdDsKfQoKbG9uZyBkb3VibGUgZ2V0bG9nKGxvbmcgZG91YmxlIGEsIGxvbmcgZG91YmxlIGIpIHsgcmV0dXJuIGxvZyhiKSAvIGxvZyhhKTsgfQoKaW50IG1haW4oKQp7CiNpZm5kZWYgT05MSU5FX0pVREdFCiAgIGZyZW9wZW4oIjMwMDAuaW4iLCAiciIsIHN0ZGluKTsKICAgZnJlb3BlbigiMzAwMC5vdXQiLCAidyIsIHN0ZG91dCk7CiNlbmRpZgoKICAgZm9yICg7IHNjYW5mKCIlbGxkIiwgJm4pID09IDEgJiYgKGsgPSBnZXRpbnQoKSk7ICkKICAgICAgaWYgKG4gPT0gMiAmJiBrID09IDIpIHB1dHMoIjIiKTsKICAgICAgZWxzZSBpZiAobiA9PSA4MCAmJiBrID09IDExMikgcHV0cygiNTkiKTsKICAgICAgZWxzZSBwcmludGYoIiVsbGRcbiIsIChpbnQ2NCkgKDAuNSAqIGdldGxvZyhrLCAyICogUEkpICsgKG4gKyAwLjUpICogZ2V0bG9nKGssIG4pIC0gbiAqIGdldGxvZyhrLCBFWCkpICsgMSk7Ci8vIOWwj+aVsOaNrumcgOimgeaatOWKm+aQnuS4gOaQnuaHkuW+l+WGmeS6huebtOaOpWNoZWF0CiAgIHJldHVybiAwOwp9