Non-independence across the edges.Please correct me if I missed something
Your answer is probably correct to an order of magnitude, but this type of question ("probability of skipping last n whatevers out of N total whatevers") is nigh impossible to answer completely correctly.
Consider the following similar question: let's say I'm a CFOP user and I don't do any multislotting. What's the probability of skipping the last slot (out of four slots, total) when solving F2L? The naïve answer is 1/15 (corner) × 1/10 (edge) = 1/150, but this is wrong. Last slot skips are much rarer than that, and more insidiously, it also depends on F2L algs used. This is not method-independent, so there's no canonical answer. The crux here is that I'm asking for a last slot skip. This is only possible if the solution to the third slot affects multiple slots (*), and even then, if it's a solution that breaks down into two triggers (e.g. R U' R' L' U L), then the first trigger already solves a different slot.
(*) or if you entirely skip F2L after cross, which, you know
Same problem shows up in edge pairing. What's the probability of skipping L4E on a 5×5×5, assuming I use freeslice for F8E? Naïve calculation suggests 1/8! = 1/40320, but there are factors that can decrease and other factors that can increase this value. If, during F8E, I prioritise using edge pieces that are already in the active slice and in the correct orientation to be paired up (i.e. ones where I don't need to use a flip alg), that means that what's left at the end of F8E is substantially less likely to be in compatible orientations (because the matching ones have already been used up). On the other hand, if I prioritise inserting edges to make them have matching orientations, that increases the likelihood of getting free edge pairs/triplets when I slice the centres back at the end of F8E.
(This is an actual thing I do for edge pairing on big cubes, btw. Not purely hypothetical.)
The original question by @OtaMota asked about L4E on 4×4×4. To answer this, we first need to know how the first eight edges were paired in the first place. Was it with freeslice? Was it with chain pairing (in which case, L4E skip is only possible if all of edge pairing was skipped)?
Edit: lmao, of course I wrote this before (January 2017): https://www.speedsolving.com/threads/probability-thread.20384/post-1212367
Last edited: