x + ⌈(-1 and √(1 and 8*x))⌉ + [0, 1] is a grid (ivanbelenky.com)