Solve the following inequality: x+y2+x−y2−1≤1.
It is known that a>1. Is it always true that ⌊⌊a⌋⌋=⌊4a⌋?