Manual verification for example 2 in problem 3