>>16684876
"Proof by "really big"" may not be a valid technique, but I don't feel good about the chances with this many restrictions