Real numbers/Bounded sequence/Zero sequence/Product/Fact/Proof/Exercise