beatty sequence