the first irrational runner (√2)