I created a video that discusses how to figure out if $$$a[i]$$$ can be part of some (not necessarily all) LIS (Longest Increasing Subsequence).

Video link: https://youtu.be/oBfCGsZwh1Y

Practice Problem : https://atcoder.jp/contests/abc354/tasks/abc354_f