fは連続だから自明