For each n≥1n \ge 1n≥1 let
Show that an⋅bna_n \cdot b_nan⋅bn is an integer.
Hidden so you can work on the problem first.