[math-fun] Integers shaped like right triangles