Euler's infinite tetration theorem