finite sum은 borel인거 알고있고 보렐함수열에 limsup한것도 보렐이니까라고 증명하면 댐?