p3: first condition for case 3 of Master theorem succeeds