MathDB
SMT 2007 Algebra #4

Source:

June 27, 2012
floor function

Problem Statement

How many positive integers nn, with n2007n\le 2007, yield a solution for xx (where xx is real) in the equation x+2x+3x=n\lfloor x \rfloor+\lfloor 2x\rfloor+\lfloor 3x\rfloor=n?