theorem Th15: :: CATALAN1:15

for n being Nat st n > 1 holds
Catalan n < Catalan (n + 1)