Problem #PRU-60552

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

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.