Prove that Spec√2 contains infinitely many powers of 2.

**nerdinator2** · October 5th 2012, 07:37 PM

Prove that Spec√2 contains infinitely many powers of 2.

Spec√2 = {⌊k√2⌋:k≥0}

I have no idea of how I can prove the statement in the question.

**chiro** · October 5th 2012, 09:10 PM

Hey nerdinator2.

What do the L and J refer to?

**Plato** · October 6th 2012, 08:13 AM

Originally Posted by chiro

Hey nerdinator2.
What do the L and J refer to?

I think it is the floor function: $\left\lfloor {k\sqrt 2 :k \ge 0} \right\rfloor$ .

Although, I don't really follow the question.

Thread: Prove that Spec√2 contains infinitely many powers of 2.