R(C4,K1n) brute force: {1: 4, 2: 4, 3: 6, 4: 7, 5: None} | OEIS: {1: 4, 2: 4, 3: 6, 4: 7, 5: 8, 6: 9, 7: 11, 8: 12}
Chen R(n+1) <= R(n)+2: True
R(n) >= n+2 (n>=1): True
2n+2 in the set (n=1..2, m<=7): True
f85(4) brute force = 2 | site formula min{m: m >= R(n-m)} -> None | corrected min{k: R(n-k) <= n} -> 2
f85(5) brute force = 3 | site formula min{m: m >= R(n-m)} -> 4 | corrected min{k: R(n-k) <= n} -> 3
f85(6) brute force = 3 | site formula min{m: m >= R(n-m)} -> 4 | corrected min{k: R(n-k) <= n} -> 3
f85(7) brute force = 3 | site formula min{m: m >= R(n-m)} -> 5 | corrected min{k: R(n-k) <= n} -> 3