Ask Your Question

Solving an inequality over the natural numbers

asked 2021-11-09 21:14:17 +0200

Parabolic gravatar image

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?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2021-11-11 00:38:22 +0200

Max Alekseyev gravatar image

It's $\lceil\log(193875)\rceil=13$.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2021-11-09 21:13:53 +0200

Seen: 127 times

Last updated: Nov 09 '21