Limit analysis and proof