log4x+3-log4⁡x+2≥32