>>873
いや、ε-δで証明するんだろ
ていうか、積の関数の連続性の何が定義なんだ?