La mayoría de nosotros conoce la clásica Integral de Gauss
∫∞0e−x2dx=√π2∫∞0e−x2dx=√π2
Me interesaría evaluar la suma similar
∞∑x=0e−x2∞∑x=0e−x2
Ahora, porque exp(−⌊x⌋2)≥exp(−x)exp(−⌊x⌋2)≥exp(−x) encontramos
∞∑x=0e−x2=∫∞0e−⌊x⌋2dx≥∫∞0e−x2dx=√π2∞∑x=0e−x2=∫∞0e−⌊x⌋2dx≥∫∞0e−x2dx=√π2
¿Existe una forma cerrada para esta suma? Si es así, ¿cuál sería? Me interesaría mucho saber cómo se encontraría una forma cerrada para esta función.