User blog:Primussupremus/Exponential factorial of 1000.

The exponential factor of 1000 is defined as 1000^999^998^997^996^995^994...^1.