Ask Your Question
1

Solving an inequality over the natural numbers

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

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')

assume(k>0)

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

S

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
0

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

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

Stats

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

Seen: 42 times

Last updated: Nov 09 '21