[math-fun] A027623 is multiplicative?