Waste less time on Facebook — follow Brilliant.
×

How would you do this at hand?

Let \(f(x) = 0\) if \(x \leq 1\), and \(f(x) = \log_2{x}\) if \(x>1\),

and let \(f^{(n+1)}(x) = f(f^{(n)}(x)) \) for \(n\geq 1\) with \(f^{(1)}(x)=f(x)\). Let \(N(x) = \min \{n \geq 1 : f^{(n)}(x) = 0\} \). Compute \(N(425268)\).

Note by Paramjit Singh
3 years, 10 months ago

No vote yet
1 vote

  Easy Math Editor

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 \( 2 \times 3 \)
2^{34} \( 2^{34} \)
a_{i-1} \( a_{i-1} \)
\frac{2}{3} \( \frac{2}{3} \)
\sqrt{2} \( \sqrt{2} \)
\sum_{i=1}^3 \( \sum_{i=1}^3 \)
\sin \theta \( \sin \theta \)
\boxed{123} \( \boxed{123} \)

Comments

Sort by:

Top Newest

Let \( d(x) ( x > 1) \) denote the smallest\( n \) for which \( x \leq 2^{2^{2\ldots}} \) where n is the number of 2s in the exponent number. (Eg. d(4) = d(2^2) = 1, d(5) = 2 )

Claim :- \( N(x) = d(x) + 2 \)

Base case :- For d(x) = 0, Therefore \( 1 < x \leq 2 \)

\( log_2 1 < log_2(x) \leq log_2 \)

\( 0 <log_2(x) \leq 1 \)

Therefore, \(f(log_2x) = 0 \)

\( f^2(x) = 0 \)

\( N(x) = 2 = d(x) + 2 \)

Inductive Case :- If true for d(x) = n, then,for d(x) = n+1,

\( 2^{2^{2\ldots }}(n twos) < x \leq 2^{2^{2\ldots}}((n+1) twos) \)

\( log_2 2^{2^{2\ldots}}(n twos) < log_2(x) \leq 2^{2^{2\ldots}}((n+1) 2s) \)

\( 2^{2^{2\ldots}}((n-1) twos) < y \leq 2^{2^{2\ldots}}(n 2s)\) where \(( log_2x = y)\)

Therefore \(d(y) = n, f^{n+2}(y) = 0 \)

\( f^{n+2}(log_2x) = 0 \)

\( f^{n+3}(x) = 0 \)

\(N(x) = n+3 = d(x) + 2 \)

Now, \( 2 = 2, 2^2 = 4, 2^{2^2} = 16, 2^{2^{2^2}} = 35536, 2^{2^{2^{2^2}}} = 2^{35536} >> 425268 \)

Therefore \( d(x) = 4, N(x) = 6 \)

Siddhartha Srivastava - 3 years, 10 months ago

Log in to reply

Nice. A suggestion: the claim you made was obvious, you could have skipped the inductive proof.

Paramjit Singh - 3 years, 10 months ago

Log in to reply

It was that or study Sanskrit. :D

Siddhartha Srivastava - 3 years, 10 months ago

Log in to reply

the given properties are not satisfied by the given function.In fact the given function is not differentiableat x=1

Kshetrimayum Saounkisor - 3 years, 10 months ago

Log in to reply

The notation implies composition, it is written in the question.

Paramjit Singh - 3 years, 10 months ago

Log in to reply

The notation isn't implying differentiating the function \(n\) times , rather the function is being composed \(n\) times.

Jit Ganguly - 3 years, 10 months ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...