Problem #PRU-60552

Problems Number Theory Divisibility Divisibility of a number. General properties Calculus Real numbers Integer and fractional parts. Archimedean property

Problem

Prove that for a real positive \(\alpha\) and a positive integer \(d\), \(\lfloor \alpha / d\rfloor = \lfloor \lfloor \alpha\rfloor / d\rfloor\) is always satisfied.