the irrational runner (√2)