@horse @SrRochardBunson @YvanDaSilva Holding the sleep/wake button and either volume button for a few seconds also locks the phone. This may work better for people who have trouble hitting a button several times quickly.
If Siri is enabled, saying “Hey Siri, whose iPhone is this?” also locks the phone.