1 00:00:00,000 --> 00:00:04,900 Hello everyone. So in this example we're going to talk about an induction problem, 2 00:00:04,900 --> 00:00:06,700 and this happened to 
be one example that 3 00:00:06,700 --> 00:00:10,400 I skipped from class to 
leave as an exercise, but 4 00:00:10,400 --> 00:00:12,566 I wanted to go over it in a video. 5 00:00:12,566 --> 00:00:13,700 6 00:00:13,700 --> 00:00:17,366 And if you've seen it already, then at least you're 
going to get a little bit of extra practice with 7 00:00:17,366 --> 00:00:19,333 the argument. So 8 00:00:19,333 --> 00:00:21,566 let f n be the Fibonacci sequence, 9 00:00:21,566 --> 00:00:23,933 so the first two terms are 
1 and every subsequent 10 00:00:23,933 --> 00:00:28,000 term is the sum of the previous two, 
that's what this says mathematically. 11 00:00:28,000 --> 00:00:29,633 12 00:00:29,633 --> 00:00:32,033 now we're supposed to show that f n is bounded by 13 00:00:32,033 --> 00:00:35,133 7/4 to the power of n 
for all natural numbers. 14 00:00:35,133 --> 00:00:40,000 So we're trying to show that each Fibonacci 
number is bounded by 7 over 4, okay? 15 00:00:40,000 --> 00:00:42,000 16 00:00:42,000 --> 00:00:44,233 The tip-off here to sort of use induction here is that we're 17 00:00:44,233 --> 00:00:47,600 trying to show some sentence is 
true for all natural numbers n, 18 00:00:47,600 --> 00:00:51,900 and the sequence that we 
have is defined recursively. 19 00:00:51,900 --> 00:00:56,266 So both of these things combined sort of 
suggest let's use Mathematical Induction. 20 00:00:56,266 --> 00:00:58,800 Now the question is do I use 
Strong Mathematical Induction 21 00:00:58,800 --> 00:01:01,500 or just the Principle of 
Mathematical Induction? 22 00:01:01,500 --> 00:01:05,466 And that you sort of - well you can try to figure out before you write the proof, 23 00:01:05,466 --> 00:01:08,000 but I like to figure it out as I 
write the proof and if I'm wrong 24 00:01:08,000 --> 00:01:11,433 I just go back and modify 
everything to use the other one. 25 00:01:11,433 --> 00:01:15,666 You can always use Strong 
Induction if you want 26 00:01:15,666 --> 00:01:19,766 but, it might save you time to use just 
the Principle of Mathematical Induction. 27 00:01:19,766 --> 00:01:22,533 They are equivalent of course, 28 00:01:22,533 --> 00:01:25,933 but that is a non-trivial exercise. 29 00:01:25,933 --> 00:01:29,466 Okay, so back to the question at hand. So if we're 
going to prove this by induction, we need three things: 30 00:01:29,466 --> 00:01:33,200 we need a base case, an induction hypothesis, and then the inductive step. So 31 00:01:33,200 --> 00:01:35,366 the induction step…so 32 00:01:35,366 --> 00:01:37,966 33 00:01:37,966 --> 00:01:40,333 So let's start with the base case. 34 00:01:40,333 --> 00:01:41,266 35 00:01:41,266 --> 00:01:45,366 So for n equals 1, we have that 36 00:01:45,366 --> 00:01:46,100 37 00:01:46,100 --> 00:01:48,633 f at 1 equals 1, which is less than 38 00:01:48,633 --> 00:01:50,900 39 00:01:50,900 --> 00:01:52,900 7 over 4. 40 00:01:52,900 --> 00:01:53,600 41 00:01:53,600 --> 00:01:57,133 Okay so for the base case, we have 
for n equals 1 we have that f at 1 42 00:01:57,133 --> 00:01:57,933 43 00:01:57,933 --> 00:02:00,666 equals [1] so let's edit that… 44 00:02:00,666 --> 00:02:02,766 45 00:02:02,766 --> 00:02:04,933 f at 1 equals 1 which is 
less than 7 over 4. Okay 46 00:02:04,933 --> 00:02:06,866 so base case is easy. 47 00:02:06,866 --> 00:02:09,533 48 00:02:09,533 --> 00:02:13,733 Induction hypothesis, 49 00:02:13,733 --> 00:02:16,000 so assume that 50 00:02:16,000 --> 00:02:20,000 51 00:02:20,000 --> 00:02:23,233 52 00:02:23,233 --> 00:02:25,500 that f of k 53 00:02:25,500 --> 00:02:28,100 is less than frac 54 00:02:28,100 --> 00:02:29,000 55 00:02:29,000 --> 00:02:32,000 7 over 4 to the power of k. 56 00:02:32,000 --> 00:02:36,000 57 00:02:36,000 --> 00:02:39,466 58 00:02:39,466 --> 00:02:41,733 So our base case is done 59 00:02:41,733 --> 00:02:44,533 and the induction hypothesis we're 
going to assume it's true for some k. 60 00:02:44,533 --> 00:02:45,800 61 00:02:45,800 --> 00:02:46,500 62 00:02:46,500 --> 00:02:49,033 Now we're going to do the induction step. 63 00:02:49,033 --> 00:02:50,900 64 00:02:50,900 --> 00:02:52,866 So for k plus 1, 65 00:02:52,866 --> 00:02:56,033 66 00:02:56,033 --> 00:02:57,966 we have… 67 00:02:57,966 --> 00:02:58,533 68 00:02:58,533 --> 00:02:59,133 69 00:02:59,133 --> 00:03:01,966 f at k plus 1… 70 00:03:01,966 --> 00:03:03,533 71 00:03:03,533 --> 00:03:05,533 Well... 72 00:03:05,533 --> 00:03:08,600 okay this is what we'd 
like to write. So let's 73 00:03:08,600 --> 00:03:09,800 74 00:03:09,800 --> 00:03:13,766 start with what we have. So 
for k plus 1 we have what? 75 00:03:13,766 --> 00:03:14,500 76 00:03:14,500 --> 00:03:17,700 So for k plus 1 we have f at k plus 1 
we want to write that this is equal to f at 77 00:03:17,700 --> 00:03:21,100 k plus f at k minus 1. 78 00:03:21,100 --> 00:03:23,700 79 00:03:23,700 --> 00:03:27,700 Oh I guess maybe I should go back here, so assume that f k this and this for some - 80 00:03:27,700 --> 00:03:30,200 I should be a little more precise 
in my induction hypothesis 81 00:03:30,200 --> 00:03:30,633 82 00:03:30,633 --> 00:03:30,733 83 00:03:30,733 --> 00:03:35,766 So for what k? Well k has to be some natural number, okay, so the induction hypothesis, let's review that. 84 00:03:35,766 --> 00:03:39,733 Assume that f k is less than 7 over 4 to 
the k for some k in the natural numbers. 85 00:03:39,733 --> 00:03:41,233 86 00:03:41,233 --> 00:03:43,566 Now for the induction step, we have… 87 00:03:43,566 --> 00:03:44,500 88 00:03:44,500 --> 00:03:48,233 we want to write this. We want to write 
f k plus 1 is equal to f k plus f k minus 1, 89 00:03:48,233 --> 00:03:49,433 90 00:03:49,433 --> 00:03:52,300 but this is valid only when 91 00:03:52,300 --> 00:03:53,033 92 00:03:53,033 --> 00:03:54,733 k 93 00:03:54,733 --> 00:03:57,466 plus 1 is at least 3. 94 00:03:57,466 --> 00:04:00,000 So this is only valid when k is at least 2. 95 00:04:00,000 --> 00:04:01,333 96 00:04:01,333 --> 00:04:03,700 So this is only valid when k is at least 2, 97 00:04:03,700 --> 00:04:06,633 then we know we're going to need at least one more base case because I mean 98 00:04:06,633 --> 00:04:09,800 here we only have that
k is 1, so k could be 1 99 00:04:09,800 --> 00:04:14,200 and this is f at 2 which is f at 1 plus f at 0 
and that doesn't really make sense, okay? 100 00:04:14,200 --> 00:04:17,600 So we're going to need to do at least one 
more base case, so let's add that in now. 101 00:04:17,600 --> 00:04:18,633 102 00:04:18,633 --> 00:04:21,566 So for n equals 2, watching all my typos, 103 00:04:21,566 --> 00:04:25,700 we have that f 2 is also equal to 1 and 
that's clearly less than 49 over 16 and that's 104 00:04:25,700 --> 00:04:27,933 7/4 squared. 105 00:04:27,933 --> 00:04:31,700 Okay so now we have our two base cases, okay? 106 00:04:31,700 --> 00:04:34,266 So now in our induction hypothesis, 
well we already know that 107 00:04:34,266 --> 00:04:38,100 1 and 2 are true, so we can actually additionally suppose here 108 00:04:38,100 --> 00:04:39,466 109 00:04:39,466 --> 00:04:41,766 that k is greater than or equal to 2. 110 00:04:41,766 --> 00:04:45,166 111 00:04:45,166 --> 00:04:48,066 So now this step here, f k plus 1 is 112 00:04:48,066 --> 00:04:51,700 equal to f k plus f k minus 1, 
well this is valid since now… 113 00:04:51,700 --> 00:04:56,233 114 00:04:56,233 --> 00:05:00,900 valid since k plus 1 is greater than or equal to 3. 115 00:05:00,900 --> 00:05:04,066 116 00:05:04,066 --> 00:05:06,000 117 00:05:06,000 --> 00:05:08,933 Okay, so now we have this, 118 00:05:08,933 --> 00:05:11,966 119 00:05:11,966 --> 00:05:15,800 but now, as you've noticed, now we're going to have to try to use 120 00:05:15,800 --> 00:05:18,833 just the fact that f k is bounded by 7/4, 121 00:05:18,833 --> 00:05:22,233 and that's not enough. We also need 
that f k minus 1 is bounded by 7 over 4 122 00:05:22,233 --> 00:05:25,366 if we're going to try to make 
any progress with this question. 123 00:05:25,366 --> 00:05:27,100 So what do we do now? Well 124 00:05:27,100 --> 00:05:30,466 now we know that we need to use Strong 
Induction, so we're going to go back to the top 125 00:05:30,466 --> 00:05:32,533 and we're going to fix this up by using Strong Induction. 126 00:05:32,533 --> 00:05:37,066 So we proceed by Strong Induction. 127 00:05:37,066 --> 00:05:40,466 Now we know which one we're using, 
so let's add that into our solution. 128 00:05:40,466 --> 00:05:41,266 129 00:05:41,266 --> 00:05:44,233 Now our induction hypothesis is wrong, 130 00:05:44,233 --> 00:05:46,133 so we need to… 131 00:05:46,133 --> 00:05:49,000 132 00:05:49,000 --> 00:05:51,666 so we need to account 
for the induction hypothesis. 133 00:05:51,666 --> 00:05:54,633 So now we're going to 
assume that instead of 134 00:05:54,633 --> 00:05:57,766 f k is less than 7 over 4 to the k, 135 00:05:57,766 --> 00:06:00,066 we're going to assume that f i 136 00:06:00,066 --> 00:06:04,066 is less than or equal 
to 7 over 4 to the i. 137 00:06:04,066 --> 00:06:06,466 138 00:06:06,466 --> 00:06:11,700 Now we're going to put for all 1 less 
than or equal to i less than or equal to k 139 00:06:11,700 --> 00:06:12,433 140 00:06:12,433 --> 00:06:15,733 for some k in the natural numbers 
and k greater than or equal to 2. 141 00:06:15,733 --> 00:06:16,333 142 00:06:16,333 --> 00:06:20,000 So now we're assuming this 
holds for all i between 1 and k, 143 00:06:20,000 --> 00:06:20,833 144 00:06:20,833 --> 00:06:22,833 okay, and we've already 
proven two base cases so 145 00:06:22,833 --> 00:06:25,666 so there's no loss of generality in 
assuming that k is at least 2 here. 146 00:06:25,666 --> 00:06:29,433 147 00:06:29,433 --> 00:06:31,600 Okay, now let's go back to the induction step, 148 00:06:31,600 --> 00:06:33,933 which iI will magically make reappear. 149 00:06:33,933 --> 00:06:35,600 150 00:06:35,600 --> 00:06:40,000 Now from here, what are we going to do? 
Well now we can use the induction hypothesis. 151 00:06:40,000 --> 00:06:41,766 152 00:06:41,766 --> 00:06:44,566 So the induction hypothesis 
says that this is less than… 153 00:06:44,566 --> 00:06:45,233 154 00:06:45,233 --> 00:06:48,933 So now for k plus 1, we have this 
thing, right? Now remember our goal, 155 00:06:48,933 --> 00:06:50,233 156 00:06:50,233 --> 00:06:53,100 what's our goal? So maybe I'll 
write down the goal, right? 157 00:06:53,100 --> 00:06:53,600 158 00:06:53,600 --> 00:06:56,600 So now we want to show 
that f k plus 1 is less than 159 00:06:56,600 --> 00:06:59,166 7 over 4 to the power k plus 1, okay? 160 00:06:59,166 --> 00:07:00,133 161 00:07:00,133 --> 00:07:01,933 So now that we're at this step, right, 162 00:07:01,933 --> 00:07:06,733 usually the tricks in induction are 
either, you know, add 0, add 1... 163 00:07:06,733 --> 00:07:10,500 or sorry add 0, multiply by 1, 164 00:07:10,500 --> 00:07:14,833 or factor/expand, okay? In this case, factoring 
seems like the most natural thing to do 165 00:07:14,833 --> 00:07:18,200 since something is in common. So let's 
try to factor and see where that leads us. 166 00:07:18,200 --> 00:07:19,166 167 00:07:19,166 --> 00:07:19,566 168 00:07:19,566 --> 00:07:23,800 k minus 1. So the smaller of the two terms is this 7/4 to the k minus 1. 169 00:07:23,800 --> 00:07:27,566 170 00:07:27,566 --> 00:07:29,333 171 00:07:29,333 --> 00:07:32,100 And what are we left with? We’re going to be left with… 172 00:07:32,100 --> 00:07:33,500 173 00:07:33,500 --> 00:07:36,200 So I factor out this 7/4 to the k minus 1, 174 00:07:36,200 --> 00:07:38,566 and that’s just 7/4 plus 1, 175 00:07:38,566 --> 00:07:39,366 176 00:07:39,366 --> 00:07:41,300 and what's that equal to? 177 00:07:41,300 --> 00:07:44,066 178 00:07:44,066 --> 00:07:47,766 So 7/4 plus 1 that’s 11/4 plus the first thing. 179 00:07:47,766 --> 00:07:52,033 180 00:07:52,033 --> 00:07:54,100 181 00:07:54,100 --> 00:07:56,166 And so the second thing is 182 00:07:56,166 --> 00:07:57,600 183 00:07:57,600 --> 00:07:59,633 11 over 4. 184 00:07:59,633 --> 00:08:00,300 185 00:08:00,300 --> 00:08:00,766 186 00:08:00,766 --> 00:08:04,533 Now we want to show that 
f k plus 1 is less than 187 00:08:04,533 --> 00:08:06,666 7/4 to the k plus 1. 188 00:08:06,666 --> 00:08:09,166 Here we only have a 7/4 
to the k minus 1, so the 189 00:08:09,166 --> 00:08:12,333 other 2 better come from this 11 quarters. 190 00:08:12,333 --> 00:08:13,566 191 00:08:13,566 --> 00:08:16,000 Now... 192 00:08:16,000 --> 00:08:19,266 if this is going to work, then this 
should be less than 7/4 squared, 193 00:08:19,266 --> 00:08:22,500 which we've already seen is 49 over 16. 194 00:08:22,500 --> 00:08:25,600 So maybe now the question 
to ask yourself is 11… 195 00:08:25,600 --> 00:08:27,433 196 00:08:27,433 --> 00:08:30,666 over- so let's pull up the old paintbrush here. 197 00:08:30,666 --> 00:08:34,666 So now the question that 
we're going to ask is, “Is 198 00:08:34,666 --> 00:08:37,366 11 over 199 00:08:37,366 --> 00:08:38,233 200 00:08:38,233 --> 00:08:40,900 4 less than 201 00:08:40,900 --> 00:08:43,466 49 202 00:08:43,466 --> 00:08:45,566 over 16?" 203 00:08:45,566 --> 00:08:46,566 204 00:08:46,566 --> 00:08:48,666 Question mark. 205 00:08:48,666 --> 00:08:50,233 206 00:08:50,233 --> 00:08:52,566 And how do we do this? Well if 
we cross multiply, right, we see 207 00:08:52,566 --> 00:08:55,266 that this is going to 
be true if and only if… 208 00:08:55,266 --> 00:08:57,933 209 00:08:57,933 --> 00:09:01,133 cross multiply we get 11 times 
16 over 4, we’ll leave the 4 there, 210 00:09:01,133 --> 00:09:03,433 so 16 the 4 will cancel. 211 00:09:03,433 --> 00:09:05,666 So this is going to be true… 212 00:09:05,666 --> 00:09:07,433 213 00:09:07,433 --> 00:09:09,633 you know let's just write that down. 214 00:09:09,633 --> 00:09:13,600 So 11 times 16 215 00:09:13,600 --> 00:09:16,200 over 4 216 00:09:16,200 --> 00:09:19,433 is less than 49. 217 00:09:19,433 --> 00:09:21,333 218 00:09:21,333 --> 00:09:24,566 And this is true if and only if… 219 00:09:24,566 --> 00:09:29,133 so if we cancel out a 4 from the 
16, then we’re going to get 44 220 00:09:29,133 --> 00:09:31,033 221 00:09:31,033 --> 00:09:33,300 is less than 49. 222 00:09:33,300 --> 00:09:36,933 223 00:09:36,933 --> 00:09:41,066 So these were all “if and only if’s” so you can go in either direction of this proof, 224 00:09:41,066 --> 00:09:44,833 and so we actually have the 
thing that we want to be true. 225 00:09:44,833 --> 00:09:47,833 Now you don't need to show this, 
so I'm not going to save this 226 00:09:47,833 --> 00:09:50,266 beautiful masterpiece, but 227 00:09:50,266 --> 00:09:53,100 let's now just write down 
the result that we now want… 228 00:09:53,100 --> 00:09:54,366 229 00:09:54,366 --> 00:09:58,266 which is that this is…oops… 230 00:09:58,266 --> 00:10:00,100 strictly less than now 231 00:10:00,100 --> 00:10:04,300 232 00:10:04,300 --> 00:10:06,300 49 over 16. 233 00:10:06,300 --> 00:10:07,500 234 00:10:07,500 --> 00:10:09,800 That's equal to… 235 00:10:09,800 --> 00:10:10,500 236 00:10:10,500 --> 00:10:13,633 now it's just a matter of just crunching 
through, so let’s see the crunch. 237 00:10:13,633 --> 00:10:14,733 238 00:10:14,733 --> 00:10:16,500 Okay so 239 00:10:16,500 --> 00:10:19,566 11 over 4 we just saw 
was less than 49 over 16, 240 00:10:19,566 --> 00:10:23,266 that's 7 squared over 4 squared, so I can 
multiply the tops and bottoms and get 241 00:10:23,266 --> 00:10:27,033 7 over 4 to the k plus 1, that's 
exactly what we wanted to show. 242 00:10:27,033 --> 00:10:28,933 243 00:10:28,933 --> 00:10:31,666 So thus, 244 00:10:31,666 --> 00:10:34,666 245 00:10:34,666 --> 00:10:36,766 thus, this holds 246 00:10:36,766 --> 00:10:38,433 247 00:10:38,433 --> 00:10:40,600 and hence the 248 00:10:40,600 --> 00:10:43,233 249 00:10:43,233 --> 00:10:45,500 the statement 250 00:10:45,500 --> 00:10:46,133 251 00:10:46,133 --> 00:10:46,466 252 00:10:46,466 --> 00:10:52,100 is true for all n [in the natural numbers] 253 00:10:52,100 --> 00:10:53,000 254 00:10:53,000 --> 00:10:56,800 by Strong Induction. 255 00:10:56,800 --> 00:10:59,300 I probably should capitalize theorems. 256 00:10:59,300 --> 00:11:00,166 257 00:11:00,166 --> 00:11:03,966 Okay so let's back up and just sort of summarize what we did. 258 00:11:03,966 --> 00:11:05,666 259 00:11:05,666 --> 00:11:08,900 So our statement that we 
were trying to show here. 260 00:11:08,900 --> 00:11:10,900 261 00:11:10,900 --> 00:11:14,766 The statement we were trying to show is that the 
nth Fibonacci numbers less than 7 quarters to the n. 262 00:11:14,766 --> 00:11:18,500 We're going to proceed by Strong Induction, 
which we saw by trying to do the proof. 263 00:11:18,500 --> 00:11:22,766 We need two base cases, again 
this was an artifact of the proof. 264 00:11:22,766 --> 00:11:26,333 You could also kind of justify it by the fact 
that we had to go back two previous terms, 265 00:11:26,333 --> 00:11:28,733 so you might want to use two base cases. 266 00:11:28,733 --> 00:11:31,600 Base cases are very easy to show, just plug in 267 00:11:31,600 --> 00:11:33,800 1 into both sides of the inequality 268 00:11:33,800 --> 00:11:35,766 and show that it's correct, 269 00:11:35,766 --> 00:11:38,000 or just start - well so really you 
should start from the left-hand side 270 00:11:38,000 --> 00:11:39,766 and show that it's less 
than the right-hand side. 271 00:11:39,766 --> 00:11:42,033 Or vice versa, but in this case 272 00:11:42,033 --> 00:11:44,266 I want to go in this direction. 273 00:11:44,266 --> 00:11:46,200 So for n equals 2, we have f 2 equals 1, 274 00:11:46,200 --> 00:11:49,533 it's less than 49 under 16, 
that's 7 quarters squared. 275 00:11:49,533 --> 00:11:51,766 Now assume this is true for all… 276 00:11:51,766 --> 00:11:52,800 277 00:11:52,800 --> 00:11:56,266 so now our induction hypothesis, we're 
going to assume the claim is true for all i 278 00:11:56,266 --> 00:11:58,933 between 1 and k for some natural number k, 279 00:11:58,933 --> 00:12:01,033 and we're going to make sure that k is also at least 2 280 00:12:01,033 --> 00:12:03,733 since we have two base cases 
that's not a concern for us. 281 00:12:03,733 --> 00:12:04,866 282 00:12:04,866 --> 00:12:09,133 And the induction step we now want to show that 
f k plus 1 is less than 7 quarters to the k plus 1 283 00:12:09,133 --> 00:12:09,933 284 00:12:09,933 --> 00:12:12,366 So for k plus 1, we're
just going to plug it in. 285 00:12:12,366 --> 00:12:13,300 286 00:12:13,300 --> 00:12:18,100 We're going to use the recursive definition 
which is valid since k plus 1 is at least 3. 287 00:12:18,100 --> 00:12:19,500 288 00:12:19,500 --> 00:12:21,666 Then we use the induction hypothesis, 289 00:12:21,666 --> 00:12:23,833 or induction hypotheses, 290 00:12:23,833 --> 00:12:26,300 to show that each of these 
terms is less than 7 quarters 291 00:12:26,300 --> 00:12:28,900 to the k or k minus 1 respectively. 292 00:12:28,900 --> 00:12:30,933 Factor, simplify, 293 00:12:30,933 --> 00:12:33,666 11 quarters happens to 
be less than 49 over 16, 294 00:12:33,666 --> 00:12:37,033 we saw that in the old paintbrush doodle. 295 00:12:37,033 --> 00:12:39,833 49 over 16 is 7 squared 4 squared, and the reason why we 296 00:12:39,833 --> 00:12:43,466 picked 49 over over 16 was so 
that we can get the extra two 297 00:12:43,466 --> 00:12:45,600 values of 7 quarters that we needed. 298 00:12:45,600 --> 00:12:46,900 299 00:12:46,900 --> 00:12:49,800 Thus the induction step is true 
and hence the statement is true 300 00:12:49,800 --> 00:12:52,466 for all natural numbers n by Strong Induction. 301 00:12:52,466 --> 00:12:53,500 302 00:12:53,500 --> 00:12:55,666 And that's what we wanted to show. 303 00:12:55,666 --> 00:12:57,766 So hopefully this gives you 
a little bit of [an] idea of 304 00:12:57,766 --> 00:13:00,333 when to Strong or Weak Induction, when to use… 305 00:13:00,333 --> 00:13:02,400 how many base cases to use, 306 00:13:02,400 --> 00:13:04,766 and how to go through the 
proof of such an example. 307 00:13:04,766 --> 00:13:07,166 I apologize this video is very long, but 308 00:13:07,166 --> 00:13:10,200 induction examples do take a little bit 
of time to explain and get used to 309 00:13:10,200 --> 00:13:13,000 in the beginning. After a little bit of time 310 00:13:13,000 --> 00:13:16,233 hopefully this kind of example 
will just be very routine for you, 311 00:13:16,233 --> 00:13:19,633 but it will take a little bit of practice 
and effort to get to that point. 312 00:13:19,633 --> 00:13:22,766 So thank you very much for listening and good luck.