limit [x→∞] x/⌊x⌋