Beatty sequence
 
x
OK