(a) c_k(n) >= 0 for n<=150: True ; e_k(n) >= 0 for n<=150: True
(b) brute force n<=12 matches c_k(n): True
(c) brute force n<=8 matches e_k(n): True
