Ask Your Question

Revision history [back]

Solving an inequality over the natural numbers

I am trying to find the smallest natural number k such that exp(k)+exp(-k)>193875.

Here's my code:

k = var('k')

assume(k, 'integer')


S = solve(exp(k)+exp(-k) > 193875, k)


Unfortunately, the output is [[e^(2k) - 193875e^k + 1 > 0]]

What can I do to solve this inequality?