F. N. de Oliveira, “Uma prova elementar da irracionalidade de π”, C. Q. D., vol. 13, dez. 2018.