Ceiling of x+m over n/Proof 1