Constructing Entanglement Witnesses for States in Infinite-Dimensional Bipartite Quantum Systems