theorem :: PREPOWER:88

for a, b being Real st a > 1 & b < 0 holds
a #R b < 1