your first assumption holds only for non-negative a and b.