\left(\forall n\in\mathbb{N}\right)\lfloor a\lfloor an\rfloor\rfloor-\lfloor an\rfloor=n-1