An Elementary Proof of a Conjectured Formula for OEIS A002034
Le résumé fourni par la source
We prove the conjectured trigonometric formula for the Kempner numbers (OEIS A002034). The proof uses the roots-of-unity filter to show that the cosine sum is the indicator of the divisibility condition n | m!.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.