[math-fun] Chernick numbers