Let a be a rational number and b be an irrational number. Is ab necessarily an irrational number ? Justify your answer with an example.