theorem Th21: :: WALLIS01:24

for n being Nat
for x being Function of REAL,REAL st x is continuous holds
@ ((@ x) |^ n) is continuous