Problem #PRU-65593

Problems Calculus Real numbers Integer and fractional parts. Archimedean property Algebra Surds. Rational powers Irrational inequalities.
 12–14  3.0

Problem

It is known that a>1. Is it always true that ⌊⌊a⌋⌋=⌊4a⌋?