0^inf 0