inf = 2 * inf = 3 * inf