Measure extension by local approximation - Iosif Pinelis (2017)