lambda1@tg says to YSITD In this case, I can prove the following: for all real number xs, there exist a decimal representation such that the number of non-zero a_i in the series is at most countably infinite